Run make clean after ./configure instead of distclean before

This commit is contained in:
Frank Denis 2016-04-13 10:58:35 +02:00
parent 9f1a5e0cf9
commit c41bf91a48
2 changed files with 2 additions and 4 deletions

View File

@ -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

View File

@ -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