diff options
Diffstat (limited to 'Build/source/texk/musixtnt/configure')
| -rwxr-xr-x | Build/source/texk/musixtnt/configure | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/Build/source/texk/musixtnt/configure b/Build/source/texk/musixtnt/configure index afea759f025..cd14b9568a8 100755 --- a/Build/source/texk/musixtnt/configure +++ b/Build/source/texk/musixtnt/configure @@ -2731,12 +2731,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 |