-# CYGNUS LOCAL noer
-# Win32-based gcc automatically appends .exe to produced executables,
-# whether asked for or not. This breaks installs. The following
-# changes the value of $src to $src.exe if $src is missing
-
- if [ -f $src ]
- then
- true
- elif [ -f $src.exe ]
- then
- echo "install: $src does not exist, trying with .exe appended"
- src="$src".exe
- fi
-
-# end CYGNUS LOCAL noer
-