diff --git a/build.sh b/build.sh index b4808c39fa585c2c847ec9e7918c661df0669ccb..d1c11ba8ce0fb64588bd438ebab69e02f35a5512 100644 --- a/build.sh +++ b/build.sh @@ -1,5 +1,5 @@ #!/bin/bash -set -e +set -ex BASEPATH=$(cd "$(dirname $0)"; pwd) usage()