Specify coding-system-for-write, add a coding cookie in #'write-abbrev-file. 2007-12-09 Aidan Kehoe <kehoea@parhasard.net> * abbrev.el (write-abbrev-file): Write FILE using escape-quoted, as a coding system. Add a coding cookie to specify exactly what coding system was used (escape-quoted is aliased to binary on non-Mule). Thank you for the bug report, Uwe Brauer. This bug would have been resolved ages ago if we had merged Dave Love's 2002 changes from GNU. Nope, I didn't merge the whole file when doing this.

#!bash

install_prog=$1
shift

tstr=""

while [[ $# -gt 0 ]]
do
  if [[ -f $1.exe ]]
  then
    if [[ "$2" == *.exe ]]
    then
      tstr="$tstr$1 $2"
    else
      tstr="$tstr$1.exe $2.exe"
    fi
    shift 2
  else
    tstr="$tstr$1 "
  fi
  shift
done
echo "$install_prog $tstr"
eval "$install_prog $tstr"
exit