From e21cf967c1e5083e05ce42f92d3e0ed43e13a104 Mon Sep 17 00:00:00 2001 From: Marek Chalupa Date: Tue, 17 Oct 2017 21:12:55 +0200 Subject: [PATCH] change --64 option to --32 bit we run in 64-bit mode by default now Signed-off-by: Marek Chalupa --- scripts/symbiotic | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/scripts/symbiotic b/scripts/symbiotic index 306f1318..dea98bf6 100755 --- a/scripts/symbiotic +++ b/scripts/symbiotic @@ -52,7 +52,7 @@ Usage: symbiotic OPTS sources where OPTS can be following: --bc Given file is a bytecode - --64 Use 64-bit environment + --32 Use 32-bit environment --timeout=t Set timeout to t seconds --no-slice Do not slice the code --no-prepare Do not prepare the code @@ -298,7 +298,7 @@ def parse_command_line(): try: opts, args = getopt.getopt(sys.argv[1:], '', - ['no-slice', '64', 'prp=', 'no-optimize', + ['no-slice', '32', 'prp=', 'no-optimize', 'debug=', 'timeout=', 'version', 'help', 'libc=', 'old-slicer', 'require-slicer', 'no-verification', 'output=', 'witness=', 'bc', @@ -377,8 +377,8 @@ def parse_command_line(): elif opt == '--old-slicer': dbg('Will use old slicer') options.old_slicer = True - elif opt == '--64': - dbg('Will use 64-bit environment') + elif opt == '--32': + dbg('Will use 32-bit environment') options.is32bit = False elif opt == '--no-optimize': dbg('Will not optimize the code')