diff options
author | Mark Allen <[email protected]> | 2016-10-03 16:39:39 -0500 |
---|---|---|
committer | GitHub <[email protected]> | 2016-10-03 16:39:39 -0500 |
commit | c34be6bfb21decb2ddd75bf6b27617a8bc05ad93 (patch) | |
tree | 051ea2a6753498c6fdda42cfe20bda149679ba9e | |
parent | 7017f09958bc43fae93d57faa821c10f15104502 (diff) | |
parent | 78b0de212cc9d2f09b77fa749e5d37047566ee7c (diff) | |
download | kerl-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-x | kerl | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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" |