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

diff --git a/src/etc/Stage.sh b/src/etc/Stage.sh
index 2d03c57a396ee8e3a96c9622497a6358b01243a1..b0c40f6918efd3660500abefd440a08045f2db1e 100755 (executable)
--- 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