diff options
Diffstat (limited to 'extension/configure')
| -rwxr-xr-x | extension/configure | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/extension/configure b/extension/configure index 82ebf32b..06d030f1 100755 --- a/extension/configure +++ b/extension/configure @@ -2575,12 +2575,7 @@ program_transform_name=`$as_echo "$program_transform_name" | sed "$ac_script"` am_aux_dir=`cd "$ac_aux_dir" && pwd` if test x"${MISSING+set}" != xset; then - case $am_aux_dir in - *\ * | *\ *) - MISSING="\${SHELL} \"$am_aux_dir/missing\"" ;; - *) - MISSING="\${SHELL} $am_aux_dir/missing" ;; - esac + MISSING="\${SHELL} '$am_aux_dir/missing'" fi # Use eval to expand $SHELL if eval "$MISSING --is-lightweight"; then |