File tree Expand file tree Collapse file tree 1 file changed +4
-2
lines changed Expand file tree Collapse file tree 1 file changed +4
-2
lines changed Original file line number Diff line number Diff line change 11#! /bin/bash
22
3- VERSION=" 1.14 "
3+ VERSION=" 1.15 "
44
55help () {
66 echo " Version v" $VERSION
@@ -88,7 +88,9 @@ build_diff_proj() {
8888 # create soft link ($BUILD_PATH/*.v -> $PROJECT_PATH/$VSRC_FOLDER/*.v)
8989 create_soft_link $BUILD_PATH $PROJECT_PATH /$VSRC_FOLDER \" * .v\"
9090 # create soft link ($PROJECT_PATH/difftest -> $LIBRARIES_HOME/difftest)
91- eval " ln -s \" ` realpath --relative-to=" $PROJECT_PATH " " $LIBRARIES_HOME " ` /$DIFFTEST_FOLDER \" \" $PROJECT_PATH /$DIFFTEST_FOLDER \" 1>/dev/null 2>&1"
91+ if [[ ! -L $PROJECT_PATH /$DIFFTEST_FOLDER ]]; then
92+ eval " ln -s \" ` realpath --relative-to=" $PROJECT_PATH " " $LIBRARIES_HOME " ` /$DIFFTEST_FOLDER \" \" $PROJECT_PATH /$DIFFTEST_FOLDER \" 1>/dev/null 2>&1"
93+ fi
9294
9395 compile_dramsim3
9496 compile_nemu
You can’t perform that action at this time.
0 commit comments