diff options
| author | typebrook <typebrook@gmail.com> | 2020-03-02 23:47:13 +0800 |
|---|---|---|
| committer | typebrook <typebrook@gmail.com> | 2020-03-02 23:47:13 +0800 |
| commit | 5778c2a4ac992eb5908830677becedf7f34e99d3 (patch) | |
| tree | b08d38b9b5f13c0d67c049e0de98fda3a4439bc7 | |
| parent | 8877f608cb101f13c012225ee8177e31ccb9593d (diff) | |
update
| -rw-r--r-- | tools/install.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/install.sh b/tools/install.sh index 4ec2586..0eb2c5e 100644 --- a/tools/install.sh +++ b/tools/install.sh | |||
| @@ -18,11 +18,9 @@ fi | |||
| 18 | 18 | ||
| 19 | sed -i "/^$/ N; \^# $REPO^, /^$/ d" $RCFILE | 19 | sed -i "/^$/ N; \^# $REPO^, /^$/ d" $RCFILE |
| 20 | echo " | 20 | echo " |
| 21 | |||
| 22 | # $REPO | 21 | # $REPO |
| 23 | export SETTING_DIR=$SETTING_DIR | 22 | export SETTING_DIR=$SETTING_DIR |
| 24 | source \$SETTING_DIR/tools/load-settings.sh | 23 | source \$SETTING_DIR/tools/load-settings.sh |
| 25 | |||
| 26 | " >> $RCFILE | 24 | " >> $RCFILE |
| 27 | 25 | ||
| 28 | cd "$SETTING_DIR" && make | 26 | cd "$SETTING_DIR" && make |