diff options
-rwxr-xr-x | scripts/deptest.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/deptest.sh b/scripts/deptest.sh index 4ce7c7180a..ab54b513d8 100755 --- a/scripts/deptest.sh +++ b/scripts/deptest.sh @@ -1,3 +1,5 @@ +#!/bin/bash + DIR="$PWD/tmp/deptest" STAMP_DIR="$DIR/stamp" BUILD_DIR="$DIR/build" |