diff options
Diffstat (limited to 'scripts/publish.sh')
| -rw-r--r-- | scripts/publish.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/publish.sh b/scripts/publish.sh index 17b5fbf18..8b564eaa8 100644 --- a/scripts/publish.sh +++ b/scripts/publish.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash if [ -z $CI ];then echo "This Script needs to be run by CI" |