diff --git a/common/make_jar.sh b/common/make_jar.sh index 7632d64d..3d073a0d 100644 --- a/common/make_jar.sh +++ b/common/make_jar.sh @@ -1,4 +1,4 @@ -#!/bin/dash +#!/bin/bash set -e top=$(pwd)