diff --git a/makedist.sh b/makedist.sh index 5a09a34d..84f0df9f 100755 --- a/makedist.sh +++ b/makedist.sh @@ -7,7 +7,13 @@ if ! ./configure.windows-x86; then exit 1 fi -if ! make check distwindows-x86 distclean; then +if ! test "x$1" = "x-f"; then + if ! make check; then + exit 1 + fi +fi + +if ! make distwindows-x86 distclean; then exit 1 fi