Changeset f80fd8c in mainline

Timestamp:

2012-07-31T12:23:07Z (12 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

a7e064fc

Parents:

1772e6d

Message:

allow to specify different machine from command line

File:

• contrib/conf/mips32-gx.sh (modified) (1 diff)

contrib/conf/mips32-gx.sh

@@ -8 +8 @@
 fi
 
-gxemul $@ -E oldtestmips -C R4000 -X image.boot -d d0:"$DISK_IMG"
+if [ "$1" == "-E" ] && [ -n "$2" ]; then
+        MACHINE="$2"
+        shift 2
+else
+        MACHINE="oldtestmips"
+fi
+
+gxemul $@ -E "$MACHINE" -C R4000 -X image.boot -d d0:"$DISK_IMG"