crunchrunner crunch script selects between $JOB_PARAMETER_CRUNCHRUNNER

or /usr/local/bin/crunchrunner, refs #8827

diff --git a/crunch_scripts/crunchrunner b/crunch_scripts/crunchrunner
index 02b00e44896db0eb76922a2885847bafbcd7f9b6..9e8832bb5553a033fd0847573624203c21d9f5dd 100755 (executable)
--- a/crunch_scripts/crunchrunner
+++ b/crunch_scripts/crunchrunner
@@ -1,2 +1,7 @@
 #!/bin/sh
-exec /usr/local/bin/crunchrunner
+
+if test -n "$JOB_PARAMETER_CRUNCHRUNNER" ; then
+    exec $TASK_KEEPMOUNT/$JOB_PARAMETER_CRUNCHRUNNER
+else
+    exec /usr/local/bin/crunchrunner
+fi