Check-in [65edae117a]
Overview
SHA1:65edae117a3128ab5566803917cfe4f5a3a7e01c
Date: 2015-10-08 18:29:06
User: mistachkin
Comment:Do not delete the Kit DLL after building it.
Timelines: family | ancestors | descendants | both | trunk
Downloads: Tarball | ZIP archive
Other Links: files | file ages | folders | manifest
Tags And Properties
Context
2015-10-08
18:32
[78bb12c14d] Simplify change in the previous check-in. (user: mistachkin, tags: trunk)
18:29
[65edae117a] Do not delete the Kit DLL after building it. (user: mistachkin, tags: trunk)
2015-10-07
22:44
[31baf7fa49] Simplify and fix handling of 'kit.exe' instead of 'kit' on Windows. (user: mistachkin, tags: trunk)
Changes

Modified kitsh/build.sh from [daac00effa] to [330b21f385].

229
230
231
232
233
234
235
236
237
238
239
240
241
242
	cp "${KITTARGET_NAME}.new" "${KITTARGET_NAME}"
	rm -f "${KITTARGET_NAME}.new"

	# Cleanup
	if [ "${KITTARGET}" = "kitdll" ]; then
		## Remove built interpreters if we are building KitDLL --
		## they're just tiny stubs anyway
		rm -f "${KITTARGET_NAME}"
	fi

	exit 0
) || exit 1

exit 0







|






229
230
231
232
233
234
235
236
237
238
239
240
241
242
	cp "${KITTARGET_NAME}.new" "${KITTARGET_NAME}"
	rm -f "${KITTARGET_NAME}.new"

	# Cleanup
	if [ "${KITTARGET}" = "kitdll" ]; then
		## Remove built interpreters if we are building KitDLL --
		## they're just tiny stubs anyway
		rm -f kit kit.exe tclsh tclsh.exe
	fi

	exit 0
) || exit 1

exit 0