diff options
Diffstat (limited to 'tools/ci/ci-common.sh')
| -rw-r--r-- | tools/ci/ci-common.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/tools/ci/ci-common.sh b/tools/ci/ci-common.sh deleted file mode 100644 index 2a6601e045..0000000000 --- a/tools/ci/ci-common.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/bash - -set -xe - -export PATH=`pwd`/bin:$PATH -ls `pwd`/bin |