standalone: Rename -m32 to -i386

nac3standalone/demo/check_demo.sh

@@ -21,7 +21,7 @@ echo ">>>>>> Running $demo with the Python interpreter"
 ./interpret_demo.py "$demo" > interpreted.log
 
 echo "...... Trying NAC3's 32-bit code generator output"
-./run_demo.sh -m32 --out run_32.log "${nac3args[@]}" "$demo"
+./run_demo.sh -i386 --out run_32.log "${nac3args[@]}" "$demo"
 diff -Nau interpreted.log run_32.log
 
 echo "...... Trying NAC3's 64-bit code generator output"

nac3standalone/demo/run_demo.sh

@@ -11,7 +11,7 @@ declare -a nac3args
 while [ $# -ge 1 ]; do
   case "$1" in
     --help)
-      echo "Usage: run_demo.sh [--help] [--out OUTFILE] [--debug] [-m32] -- [NAC3ARGS...]"
+      echo "Usage: run_demo.sh [--help] [--out OUTFILE] [--debug] [-i386] -- [NAC3ARGS...]"
       exit
       ;;
     --out)
@@ -21,8 +21,8 @@ while [ $# -ge 1 ]; do
     --debug)
       debug=1
       ;;
-    -m32)
-      m32=1
+    -i386)
+      i386=1
       ;;
     --)
       shift
@@ -51,7 +51,7 @@ fi
 
 rm -f ./*.o ./*.bc demo
 
-if [ -z "$m32" ]; then
+if [ -z "$i386" ]; then
   $nac3standalone "${nac3args[@]}"
 
   clang -c -std=gnu11 -Wall -Wextra -O3 -o demo.o demo.c