diff options
Diffstat (limited to 'dviware/dviljk/configure.texk')
-rwxr-xr-x | dviware/dviljk/configure.texk | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/dviware/dviljk/configure.texk b/dviware/dviljk/configure.texk index 32b3d7a2e7..e581db8647 100755 --- a/dviware/dviljk/configure.texk +++ b/dviware/dviljk/configure.texk @@ -2917,12 +2917,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 |