diff options
Diffstat (limited to 'test/utils/shippable/ci.sh')
| -rwxr-xr-x | test/utils/shippable/ci.sh | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/test/utils/shippable/ci.sh b/test/utils/shippable/ci.sh deleted file mode 100755 index 5c0f847e66..0000000000 --- a/test/utils/shippable/ci.sh +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/bash -eux - -set -o pipefail - -source_root=$(python -c "from os import path; print(path.abspath(path.join(path.dirname('$0'), '../../..')))") - -"${source_root}/test/utils/shippable/${TEST}.sh" 2>&1 | gawk '{ print strftime("%Y-%m-%d %H:%M:%S"), $0; fflush(); }' |