diff options
author | Lukas Larsson <[email protected]> | 2018-12-10 11:03:38 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2018-12-10 11:03:38 +0100 |
commit | 1fda01cb73f7f22cccf4de29a739397a9b86eda3 (patch) | |
tree | 100c334533d34d3ab68ae8069c741b32aae749df /configure.src | |
parent | 4c91f4bbb5bbfcc942ee741a3069ade433fb9872 (diff) | |
parent | 6ad400e9a5108eca5f408a65cf227d67ad0bef33 (diff) | |
download | otp-1fda01cb73f7f22cccf4de29a739397a9b86eda3.tar.gz otp-1fda01cb73f7f22cccf4de29a739397a9b86eda3.tar.bz2 otp-1fda01cb73f7f22cccf4de29a739397a9b86eda3.zip |
Merge pull request #2041 from michalmuskala/mm/configure-fix
Fix --without-APP config option
Diffstat (limited to 'configure.src')
-rw-r--r-- | configure.src | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/configure.src b/configure.src index 3849908388..889902eb96 100644 --- a/configure.src +++ b/configure.src @@ -45,6 +45,7 @@ parallel_otp_configure=yes help=no user_srcdir= config_arguments= +skip_applications= while test $# != 0; do case $1 in -srcdir=* | --srcdir=*) @@ -136,7 +137,7 @@ while test $# != 0; do --without-*) skip_app=`expr "$1" : '--without-\(.*\)'` if test -d "lib/$skip_app"; then - echo "$skip_app" >> "$ERL_TOP/lib/SKIP-APPLICATIONS" + skip_applications="$skip_applications $skip_app" fi;; *) ;; @@ -377,7 +378,7 @@ echo "" pattern="lib/*/SKIP" files=`echo $pattern` -if test "$files" != "$pattern" || test -f "$ERL_TOP/lib/SKIP-APPLICATIONS"; then +if test "$files" != "$pattern" || test "$skip_applications" != ""; then echo '*********************************************************************' echo '********************** APPLICATIONS DISABLED **********************' echo '*********************************************************************' @@ -388,11 +389,10 @@ if test "$files" != "$pattern" || test -f "$ERL_TOP/lib/SKIP-APPLICATIONS"; then printf "%-15s: " $app; cat $skipfile done fi - if test -f "$ERL_TOP/lib/SKIP-APPLICATIONS"; then - for skipapp in `cat "$ERL_TOP/lib/SKIP-APPLICATIONS"`; do - printf "%-15s: User gave --without-%s option\n" $skipapp $skipapp - done - fi + for skipapp in $skip_applications; do + printf "%-15s: User gave --without-%s option\n" $skipapp $skipapp + echo "$skipapp" >> "$ERL_TOP/lib/SKIP-APPLICATIONS" + done echo echo '*********************************************************************' fi @@ -417,14 +417,14 @@ if test -f "erts/doc/CONF_INFO"; then echo '********************** DOCUMENTATION INFORMATION ******************' echo '*********************************************************************' echo - printf "%-15s: \n" documentation; + printf "%-15s: \n" documentation; havexsltproc="yes" for cmd in `cat erts/doc/CONF_INFO`; do - echo " $cmd is missing." + echo " $cmd is missing." if test $cmd = "xsltproc"; then havexsltproc="no" fi - done + done if test $havexsltproc = "no"; then echo ' The documentation cannot be built.' else |