From: Matt Birkholz <matt@birkholz.chandler.az.us>
Date: Wed, 7 Mar 2012 21:29:16 +0000 (-0700)
Subject: Stage.sh: Keep .rtls,.laps with corresponding .mocs,.coms.
X-Git-Tag: release-9.2.0~275
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=a550061877dae2bc63893d5ee51048d815fb3380;p=mit-scheme.git

Stage.sh: Keep .rtls,.laps with corresponding .mocs,.coms.
---

diff --git a/src/etc/Stage.sh b/src/etc/Stage.sh
index 2d03c57a3..b0c40f691 100755
--- a/src/etc/Stage.sh
+++ b/src/etc/Stage.sh
@@ -40,6 +40,8 @@ make)
     mkdir "${DIRNAME}"
     maybe_mv *.com "${DIRNAME}/."
     maybe_mv *.bci "${DIRNAME}/."
+    maybe_mv *.lap "${DIRNAME}/."
+    maybe_mv *.rtl "${DIRNAME}/."
     ;;
 make-cross)
     mkdir "${DIRNAME}"
@@ -47,6 +49,8 @@ make-cross)
     maybe_mv *.bci "${DIRNAME}"
     maybe_mv *.moc "${DIRNAME}"
     maybe_mv *.fni "${DIRNAME}"
+    maybe_mv *.lap "${DIRNAME}/."
+    maybe_mv *.rtl "${DIRNAME}/."
     ;;
 unmake)
     if [ -d "${DIRNAME}" ]; then