diff options
| author | typebrook <typebrook@gmail.com> | 2020-04-12 23:59:05 +0800 |
|---|---|---|
| committer | typebrook <typebrook@gmail.com> | 2020-04-12 23:59:05 +0800 |
| commit | 6d7eac6edc69a5ccc799525b64c2731ce4129771 (patch) | |
| tree | 84dd54d82eda0ad06466dba85fec4d993e110fd7 | |
| parent | c0575635c54877787bcfec77869cfe3d0c6444f6 (diff) | |
update
| -rwxr-xr-x | tools/install.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/install.sh b/tools/install.sh index f10a1c3..f16b2dd 100755 --- a/tools/install.sh +++ b/tools/install.sh | |||
| @@ -21,6 +21,7 @@ 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 | source $RCFILE | ||
| 25 | 26 | ||
| 26 | cd "$SETTING_DIR" && make | 27 | cd "$SETTING_DIR" && make |