diff options
| -rwxr-xr-x | configure | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -45,7 +45,7 @@ enable_werror=true enable_checks=true enable_openieee=unknown enable_python=false -default_pie=false +default_pic=false EXEEXT= SOEXT=.so PIC_FLAGS=-fPIC @@ -107,7 +107,7 @@ for opt do --disable-openieee) enable_openieee=false;; --enable-python) enable_python=true;; --disable-python) enable_python=false;; - --enable-default-pie) default_pie=true;; + --default-pic) default_pic=true;; --enable-coverage) build_mode="coverage";; -h|-help|--help) show_help=yes;; *) @@ -284,6 +284,10 @@ if gcc -v 2>&1 | grep -q enable-default-pie; then default_pie="true" fi +if [ "x$default_pic" = "xtrue" ]; then + default_pie="true" +fi + # Create subdirectories if [ ! -d pic ]; then echo "create pic/ subdirectory" |