From c41bf91a484e76a9798728de786b0d70d9cc7dc0 Mon Sep 17 00:00:00 2001 From: Frank Denis Date: Wed, 13 Apr 2016 10:58:35 +0200 Subject: [PATCH] Run `make clean` after `./configure` instead of `distclean` before --- dist-build/msys2-win32.sh | 3 +-- dist-build/msys2-win64.sh | 3 +-- 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/dist-build/msys2-win32.sh b/dist-build/msys2-win32.sh index 15fe37bc..dcc9ee06 100755 --- a/dist-build/msys2-win32.sh +++ b/dist-build/msys2-win32.sh @@ -10,10 +10,9 @@ else exit fi -make distclean > /dev/null - ./configure --prefix="$PREFIX" --exec-prefix="$PREFIX" \ --host=i686-w64-mingw32 && \ +make clean && \ make && \ make check && \ make install diff --git a/dist-build/msys2-win64.sh b/dist-build/msys2-win64.sh index ab9a2c3e..0b38d6dd 100755 --- a/dist-build/msys2-win64.sh +++ b/dist-build/msys2-win64.sh @@ -10,10 +10,9 @@ else exit fi -make distclean > /dev/null - ./configure --prefix="$PREFIX" --exec-prefix="$PREFIX" \ --host=x86_64-w64-mingw32 && \ +make clean && \ make && \ make check && \ make install