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