diff options
Diffstat (limited to 'tools')
-rwxr-xr-x[-rw-r--r--] | tools/install.sh | 4 |
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 | } |
17 | fi | 17 | fi |
18 | 18 | ||
19 | sed -i "/^$/ N; \^# $REPO^, /^$/ d" $RCFILE | 19 | sed -i "\^# $REPO^, /^$/ d" $RCFILE |
20 | echo " | 20 | echo " |
21 | # $REPO | 21 | # $REPO |
22 | export SETTING_DIR=$SETTING_DIR | 22 | export SETTING_DIR=$SETTING_DIR |
23 | source \$SETTING_DIR/tools/load-settings.sh | 23 | source \$SETTING_DIR/tools/load-settings.sh |
24 | " >> $RCFILE | 24 | " >> $RCFILE |
25 | 25 | ||
26 | cd "$SETTING_DIR" && make | 26 | #cd "$SETTING_DIR" && make |