diff --git a/build-dist.sh b/build-dist.sh index 433f03eb19e5e10993174d5e97a721259bf488d1..d9ed7aeaeed1bbd2553d733f3710a66980a40f8e 100644 --- a/build-dist.sh +++ b/build-dist.sh @@ -1,5 +1,7 @@ #!/bin/bash +set -ex + rm -rfv $PWD/bin/* mkdir $PWD/bin/dist