aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMark Allen <[email protected]>2016-10-03 16:39:39 -0500
committerGitHub <[email protected]>2016-10-03 16:39:39 -0500
commitc34be6bfb21decb2ddd75bf6b27617a8bc05ad93 (patch)
tree051ea2a6753498c6fdda42cfe20bda149679ba9e
parent7017f09958bc43fae93d57faa821c10f15104502 (diff)
parent78b0de212cc9d2f09b77fa749e5d37047566ee7c (diff)
downloadkerl-c34be6bfb21decb2ddd75bf6b27617a8bc05ad93.tar.gz
kerl-c34be6bfb21decb2ddd75bf6b27617a8bc05ad93.tar.bz2
kerl-c34be6bfb21decb2ddd75bf6b27617a8bc05ad93.zip
Merge pull request #163 from essen/native-libs
Clean and re-run configure when --enable-native-libs is used
-rwxr-xr-xkerl5
1 files changed, 5 insertions, 0 deletions
diff --git a/kerl b/kerl
index dbd767a..5b74a63 100755
--- a/kerl
+++ b/kerl
@@ -556,6 +556,11 @@ _do_build()
CFLAGS="$CFLAGS" ./otp_build configure $KERL_CONFIGURE_OPTIONS >> "$LOGFILE" 2>&1
fi
+ echo -n $KERL_CONFIGURE_OPTIONS | grep "--enable-native-libs" 1>/dev/null 2>&1
+ if [ $? -ne 0 ]; then
+ make clean >> "$LOGFILE" 2>&1
+ CFLAGS="$CFLAGS" ./otp_build configure $KERL_CONFIGURE_OPTIONS >> "$LOGFILE" 2>&1
+ fi
if [ $? -ne 0 ]; then
show_logfile "Configure failed." "$LOGFILE"
list_remove builds "$1 $2"