diff --git a/bin/tools/RunFunctions b/bin/tools/RunFunctions index 5d7b66cbd99a2231bd49fc450c1f4898f87c2c52..b73766b5d5af904c56c2e2d7bdf2fdf97339f7a7 100755 --- a/bin/tools/RunFunctions +++ b/bin/tools/RunFunctions @@ -28,6 +28,18 @@ # Miscellaneous functions for running tutorial cases #------------------------------------------------------------------------------ +# +# Look for '-parallel' in the argument list. +# +isParallel() +{ + for i; do [ "$i" = "-parallel" ] && return 0; done + return 1 +} + +# +# Look for '-test' in the argument list. +# isTest() { for i in "$@"; do