From 9f3a7c30e2cb1d9b4034acd3c57f037162a9976e Mon Sep 17 00:00:00 2001 From: Sergey Petrunya Date: Mon, 12 Oct 2009 20:50:20 +0400 Subject: [PATCH] Cosmetic fixes to win/make_mariadb_win_dist --- win/make_mariadb_win_dist | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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