changed #!/usr/bin/env bash to #! /usr/local/bin/bash -lx

diff --git a/cluster_tools/gate_run_submit_cluster.sh b/cluster_tools/gate_run_submit_cluster.sh
index 29427bd8cf93b7d937bf01ac68e7e22b6b293dfa..91120500e4ae817ff51e0ef958125c0843a0ba87 100755 (executable)
--- a/cluster_tools/gate_run_submit_cluster.sh
+++ b/cluster_tools/gate_run_submit_cluster.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#! /usr/local/bin/bash -lx
 
 set -u
 SCRIPTNAME="$(basename "${0}")"