|
|
@@ -50,7 +50,7 @@ fi
|
|
|
# The maximum amount of memory to use (in GB). Set the environment
|
|
|
# variable DUORAM_MAXGB to increase it beyond 16 (don't set it lower
|
|
|
# than 16).
|
|
|
-if [ "$DUORAM_MAXGB" -gt 16 ]; then
|
|
|
+if [ "$DUORAM_MAXGB" != "" -a "$DUORAM_MAXGB" -gt 16 ]; then
|
|
|
maxgb=$DUORAM_MAXGB
|
|
|
else
|
|
|
maxgb=16
|
|
|
@@ -116,7 +116,7 @@ fi
|
|
|
if [ "$whichexps" = "single" ]; then
|
|
|
echo "Running single experiment..."
|
|
|
shift
|
|
|
- run $*
|
|
|
+ runone $*
|
|
|
exit
|
|
|
fi
|
|
|
|
