Skip to content

Commit c98fe61

Browse files
committed
Adapt new difftest
1 parent 9641244 commit c98fe61

File tree

1 file changed

+7
-5
lines changed

1 file changed

+7
-5
lines changed

build.sh

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
#!/bin/bash
22

3-
VERSION="1.15"
3+
VERSION="1.16"
44

55
help() {
66
echo "Version v"$VERSION
@@ -73,7 +73,7 @@ compile_nemu() {
7373

7474
compile_difftest() {
7575
cd $DIFFTEST_HOME
76-
sed -i 's/#define EMU_RAM_SIZE (8 \* 1024 \* 1024 \* 1024UL)/#define EMU_RAM_SIZE (256 \* 1024 \* 1024UL)/' src/test/csrc/common/ram.h
76+
sed -i 's/#define EMU_RAM_SIZE (8 \* 1024 \* 1024 \* 1024UL)/#define EMU_RAM_SIZE (256 \* 1024 \* 1024UL)/' config/config.h
7777
make DESIGN_DIR=$PROJECT_PATH $DIFFTEST_PARAM
7878
if [ $? -ne 0 ]; then
7979
echo "Failed to build difftest!!!"
@@ -218,9 +218,11 @@ if [[ "$BUILD" == "true" ]]; then
218218
[[ "$DIFFTEST" == "true" ]] && build_diff_proj || build_proj
219219

220220
#git commit
221-
git add . -A --ignore-errors
222-
(echo $NAME && echo $ID && hostnamectl && uptime) | git commit -F - -q --author='tracer-oscpu2021 <[email protected]>' --no-verify --allow-empty 1>/dev/null 2>&1
223-
sync
221+
if [[ ! -f $OSCPU_PATH/.no_commit ]]; then
222+
git add . -A --ignore-errors
223+
(echo $NAME && echo $ID && hostnamectl && uptime) | git commit -F - -q --author='tracer-oscpu2021 <[email protected]>' --no-verify --allow-empty 1>/dev/null 2>&1
224+
sync
225+
fi
224226
fi
225227

226228
# Simulate

0 commit comments

Comments
 (0)