aboutsummaryrefslogtreecommitdiffstats
path: root/configure.src
diff options
context:
space:
mode:
authorMichał Muskała <[email protected]>2018-12-05 12:54:04 +0100
committerMichał Muskała <[email protected]>2018-12-05 12:56:13 +0100
commit6ad400e9a5108eca5f408a65cf227d67ad0bef33 (patch)
tree75c4e4059bf9590f4637e1dbff777a13af1b2d26 /configure.src
parent70ba4ed97a28fc7466d00c0a277ad5a0c0913fbb (diff)
downloadotp-6ad400e9a5108eca5f408a65cf227d67ad0bef33.tar.gz
otp-6ad400e9a5108eca5f408a65cf227d67ad0bef33.tar.bz2
otp-6ad400e9a5108eca5f408a65cf227d67ad0bef33.zip
Fix --without-APP config option
The parallel configure implemented in d4b4567 would rm -f the SKIP-APPLICATIONS file before it was consumed at the end of the configure script. This reverses the solution by instead first building the list of skip applications in memory and only then writing them to the SKIP-APPLICATIONS file.
Diffstat (limited to 'configure.src')
-rw-r--r--configure.src20
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