aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rwxr-xr-x[-rw-r--r--]tools/install.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/install.sh b/tools/install.sh
index 0eb2c5e..cb21351 100644..100755
--- a/tools/install.sh
+++ b/tools/install.sh
@@ -16,11 +16,11 @@ if [ ! -d $SETTING_DIR ]; then
16 } 16 }
17fi 17fi
18 18
19sed -i "/^$/ N; \^# $REPO^, /^$/ d" $RCFILE 19sed -i "\^# $REPO^, /^$/ d" $RCFILE
20echo " 20echo "
21# $REPO 21# $REPO
22export SETTING_DIR=$SETTING_DIR 22export SETTING_DIR=$SETTING_DIR
23source \$SETTING_DIR/tools/load-settings.sh 23source \$SETTING_DIR/tools/load-settings.sh
24" >> $RCFILE 24" >> $RCFILE
25 25
26cd "$SETTING_DIR" && make 26#cd "$SETTING_DIR" && make