Don't leave the intermediate run-build shell process hanging around.

diff --git a/src/run-build b/src/run-build
index 5c928df3ed170b9af6183e7e72afdd5e79cba6a6..6acb184f1a08b20b520581d87b738ac7f9bc16af 100755 (executable)
--- a/src/run-build
+++ b/src/run-build
@@ -12,4 +12,4 @@ HERE=`dirname "${MIT_SCHEME_EXE}"`
 MITSCHEME_LIBRARY_PATH=${HERE}/lib
 export MIT_SCHEME_EXE
 export MITSCHEME_LIBRARY_PATH
-"${HERE}"/microcode/scheme "${@}"
+exec "${HERE}"/microcode/scheme "${@}"