diff options
author | typebrook <typebrook@gmail.com> | 2020-03-03 10:42:38 +0800 |
---|---|---|
committer | typebrook <typebrook@gmail.com> | 2020-03-03 10:42:38 +0800 |
commit | cf801f39d13be849facd7823204c2262471631ea (patch) | |
tree | 68fe10c1323e24621cbe02752612f25ad83a6d9f | |
parent | e87f2290546c2cb7878f3b348980e0480cd678d6 (diff) |
update
-rwxr-xr-x | tools/install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/install.sh b/tools/install.sh index cb21351..f10a1c3 100755 --- a/tools/install.sh +++ b/tools/install.sh | |||
@@ -23,4 +23,4 @@ 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 |