From 0915e751c4e7bf9ca9055411e1011dd6d461148f Mon Sep 17 00:00:00 2001 From: Shoghi Cervantes Date: Sun, 16 Feb 2014 13:11:15 +0100 Subject: [PATCH] Update jenkins.sh --- src/build/jenkins.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/build/jenkins.sh b/src/build/jenkins.sh index cff26fb89..cd2b29321 100644 --- a/src/build/jenkins.sh +++ b/src/build/jenkins.sh @@ -31,7 +31,7 @@ then mkdir -p {$COMPILEDIR,$ARCHIVE}/linux/32bit cd $COMPILEDIR/linux/32bit - CFLAGS="-m32 -static" march=i686 mtune=none $SCRIPT + CFLAGS="-m32 -static -ldl" march=i686 mtune=none $SCRIPT cp -r $COMPILEDIR/linux/32bit/{install.log,bin/*,install_data/*} $ARCHIVE/linux/32bit/ if [ ! -f $COMPILEDIR/linux/32bit/bin/php5/bin/php ]; then @@ -44,7 +44,7 @@ then mkdir -p {$COMPILEDIR,$ARCHIVE}/linux/64bit cd $COMPILEDIR/linux/64bit - CFLAGS="-m64 -static" march=x86-64 mtune=none $SCRIPT + CFLAGS="-m64 -static -ldl" march=x86-64 mtune=none $SCRIPT cp -r $COMPILEDIR/linux/64bit/{install.log,bin/*,install_data/*} $ARCHIVE/linux/64bit/ if [ ! -f $COMPILEDIR/linux/64bit/bin/php5/bin/php ]; then