diff options
Diffstat (limited to 'jenkins/dashboard-push.sh')
| -rwxr-xr-x | jenkins/dashboard-push.sh | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/jenkins/dashboard-push.sh b/jenkins/dashboard-push.sh deleted file mode 100755 index 75c0caa..0000000 --- a/jenkins/dashboard-push.sh +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/bash - -if [ -e $(dirname $0)/../dashboard/squad-vs-first/dashboard-push-squad.sh ]; then - $(dirname $0)/../dashboard/squad-vs-first/dashboard-push-squad.sh & - wait $! || true -fi - |