projects
/
arvados.git
/ blobdiff
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
10028: replace _____-uuid-prefix with site_config_uuid_prefix-uuid-prefix
[arvados.git]
/
crunch_scripts
/
crunchrunner
diff --git
a/crunch_scripts/crunchrunner
b/crunch_scripts/crunchrunner
index f192c48772dd545c7a2f9201b612fed9c65c7cdc..9e8832bb5553a033fd0847573624203c21d9f5dd 100755
(executable)
--- a/
crunch_scripts/crunchrunner
+++ b/
crunch_scripts/crunchrunner
@@
-1,2
+1,7
@@
#!/bin/sh
#!/bin/sh
-exec /usr/lib/crunchrunner/crunchrunner
+
+if test -n "$JOB_PARAMETER_CRUNCHRUNNER" ; then
+ exec $TASK_KEEPMOUNT/$JOB_PARAMETER_CRUNCHRUNNER
+else
+ exec /usr/local/bin/crunchrunner
+fi