diff options
| -rw-r--r-- | configure.ac | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index cc4e15295..14505fc52 100644 --- a/configure.ac +++ b/configure.ac @@ -280,7 +280,8 @@ no_install_progs_default=`echo "$t"|sed 's/ $//'` # The compromise is to ensure that the space-separated list extracted # above matches the literal 2nd argument below. c="$srcdir/configure.ac" -t=`sed -n '/^g''l_INCLUDE_EXCLUDE_PROG(.* [\[\(.*\)\]])/{s//\1/;s/,/ /gp +re='^g''l_INCLUDE_EXCLUDE_PROG(.* [\[\(.*\)\]])' +t=`sed -n '/'"$re"'/{s/'"$re"'/\1/;s/,/ /gp }' $c` case $t in $no_install_progs_default) ;; |