Checkpoint: clean before make

OpenXiangShan · Oct 28, 2023 · f020b57 · f020b57
1 parent d215fee
commit f020b57
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 2 deletions.
diff --git a/tutorial/checkpoint/simpoint-step0-prepare.sh b/tutorial/checkpoint/simpoint-step0-prepare.sh
@@ -2,8 +2,14 @@ cd $NEMU_HOME
 
 git checkout cpt-bk
 git submodule update --init
-cd $NEMU_HOME/resource/simpoint/simpoint_repo/analysiscode && make simpoint -j4
-cd $NEMU_HOME/resource/gcpt_restore && make -j4
+
+cd $NEMU_HOME/resource/simpoint/simpoint_repo/analysiscode
+make clean
+make simpoint -j4
+
+cd $NEMU_HOME/resource/gcpt_restore
+make clean
+make -j4
 
 cd $NEMU_HOME
 make clean

diff --git a/tutorial/checkpoint/simpoint-step4-run-xs.sh b/tutorial/checkpoint/simpoint-step4-run-xs.sh
@@ -1,3 +1,5 @@
+set -v
+
 $XS_PROJECT_ROOT/tutorial/emu \
     -i `find $NEMU_HOME/tutorial_simpoint/ -type f -name "*_.gz" | tail -1` \
     --diff $NOOP_HOME/ready-to-run/riscv64-nemu-interpreter-so \