Modified kitdll/build.sh from [4f055580a0] to [d2bc6d6a65].

   101    101   	./configure --with-tcl="${TCLCONFIGDIR}" ${CONFIGUREEXTRA}
   102    102   
   103    103   	echo "Running: ${MAKE:-make}"
   104    104   	${MAKE:-make} TCLSH_NATIVE="${TCLSH_NATIVE}" || exit 1
   105    105   
   106    106   	# Strip the KitDLL of debugging symbols, if possible
   107    107   	"${STRIP:-strip}" -g libtclkit* >/dev/null 2>/dev/null
          108  +
          109  +	# Fix up Win32 DLL names
          110  +	## .DLL.A -> .LIB
          111  +	for file in libtclkit*.dll.a; do
          112  +		if [ ! -f "${file}" ]; then
          113  +			continue
          114  +		fi
          115  +
          116  +		newfile="$(basename "${file}" .dll.a).lib"
          117  +		mv "${file}" "${newfile}"
          118  +	done
          119  +
          120  +	## .DLL.DEF -> .DEF
          121  +	for file in libtclkit*.dll.def; do
          122  +		if [ ! -f "${file}" ]; then
          123  +			continue
          124  +		fi
          125  +
          126  +		newfile="$(basename "${file}" .dll.def).def"
          127  +		mv "${file}" "${newfile}"
          128  +	done
   108    129   
   109    130   	exit 0
   110    131   ) || exit 1
   111    132   
   112    133   exit 0