diff options
Diffstat (limited to 'win/make_mariadb_win_dist')
-rw-r--r-- | win/make_mariadb_win_dist | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/win/make_mariadb_win_dist b/win/make_mariadb_win_dist index 991f4bee335..8893159bd20 100644 --- a/win/make_mariadb_win_dist +++ b/win/make_mariadb_win_dist @@ -4,6 +4,7 @@ # This is a script that one needs to run in the source tarball to build # a MariaDB release for Windows # + set -e if [ ! -d win/data ] ; then @@ -67,6 +68,6 @@ echo "$ZIPFILE is the Windows noinstall binary zip" if [ $RES ] ; then echo "Archive contents differ from the standard file list, check the diff output above" else - echo "Archive contents match the standard list" + echo "Archive contents match the standard list, OK" fi |