Add calls to 'make clean' to ensure building artifacts
parent
27968af8a9
commit
57521bd22a
|
|
@ -83,6 +83,8 @@ if ! ./configure; then
|
|||
[[ "$0" = "${BASH_SOURCE[0]}" ]] && exit 1 || return 1
|
||||
fi
|
||||
|
||||
make clean 2>/dev/null
|
||||
|
||||
if ! "$MAKE" -j2 -f Makefile; then
|
||||
echo "make failed"
|
||||
[[ "$0" = "${BASH_SOURCE[0]}" ]] && exit 1 || return 1
|
||||
|
|
|
|||
|
|
@ -28,6 +28,8 @@ if ! cmake ../; then
|
|||
[[ "$0" = "${BASH_SOURCE[0]}" ]] && exit 1 || return 1
|
||||
fi
|
||||
|
||||
make clean 2>/dev/null
|
||||
|
||||
if ! make -j2 -f Makefile VERBOSE=1; then
|
||||
echo "make failed"
|
||||
[[ "$0" = "${BASH_SOURCE[0]}" ]] && exit 1 || return 1
|
||||
|
|
|
|||
Loading…
Reference in New Issue