Overview
Comment: | Do not delete the Kit DLL after building it. |
---|---|
Downloads: | Tarball | ZIP archive | SQL archive |
Timelines: | family | ancestors | descendants | both | trunk |
Files: | files | file ages | folders |
SHA1: |
65edae117a3128ab5566803917cfe4f5 |
User & Date: | mistachkin on 2015-10-08 18:29:06 |
Other Links: | manifest | tags |
Context
2015-10-08
| ||
18:32 | Simplify change in the previous check-in. check-in: 78bb12c14d user: mistachkin tags: trunk | |
18:29 | Do not delete the Kit DLL after building it. check-in: 65edae117a user: mistachkin tags: trunk | |
2015-10-07
| ||
22:44 | Simplify and fix handling of 'kit.exe' instead of 'kit' on Windows. check-in: 31baf7fa49 user: mistachkin tags: trunk | |
Changes
Modified kitsh/build.sh from [daac00effa] to [330b21f385].
︙ | |||
229 230 231 232 233 234 235 | 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 |