From a550061877dae2bc63893d5ee51048d815fb3380 Mon Sep 17 00:00:00 2001
From: Matt Birkholz <matt@birkholz.chandler.az.us>
Date: Wed, 7 Mar 2012 14:29:16 -0700
Subject: [PATCH] Stage.sh: Keep .rtls,.laps with corresponding .mocs,.coms.

---
 src/etc/Stage.sh | 4 ++++
 1 file changed, 4 insertions(+)

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
-- 
2.25.1