diff options
author | umarcor <unai.martinezcorral@ehu.eus> | 2019-04-27 07:41:52 +0200 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2019-04-27 18:31:53 +0200 |
commit | 273798099ced21ad739b1ea8fcc387d50d21abf4 (patch) | |
tree | 5913ec64116a1a0a62aa7135690ddff2571b883f /configure | |
parent | 50f8a64b05f5c870cd49470078eb1e34248f87d6 (diff) | |
download | ghdl-273798099ced21ad739b1ea8fcc387d50d21abf4.tar.gz ghdl-273798099ced21ad739b1ea8fcc387d50d21abf4.tar.bz2 ghdl-273798099ced21ad739b1ea8fcc387d50d21abf4.zip |
do not hijack default_pie
Diffstat (limited to 'configure')
-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" |