diff --git a/scripts/build.sh b/scripts/build.sh deleted file mode 100755 index 629550fbd..000000000 --- a/scripts/build.sh +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/bash - -set -o errexit -set -o pipefail -set -o nounset - -PWD="$(dirname $(readlink -f -- $0))" - -echo $PWD