diff options
Diffstat (limited to 'configure.in')
-rw-r--r-- | configure.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure.in b/configure.in index bcb0581e0d..f25a068be9 100644 --- a/configure.in +++ b/configure.in @@ -393,8 +393,8 @@ AC_SUBST(NATIVE_LIBS_ENABLED) rm -f $ERL_TOP/lib/SKIP-APPLICATIONS for app in `cd lib && ls -d *`; do - var="with_$app" - if test X${!var} == Xno; then + var=`eval echo \\$with_$app` + if test X${var} == Xno; then echo "$app" >> $ERL_TOP/lib/SKIP-APPLICATIONS fi done |