diff options
| author | Hsieh Chin Fan <typebrook@gmail.com> | 2021-07-14 11:46:03 +0800 |
|---|---|---|
| committer | Hsieh Chin Fan <typebrook@gmail.com> | 2021-07-14 11:46:03 +0800 |
| commit | 6427bc2a1177405e662725891aa319ed9bc36cb0 (patch) | |
| tree | 5741d64c86d7660bf35277bf041c3eb38b3e801c /tools/init/check_upstream | |
| parent | 1fc01072ba2016049882a22b558eaa361833666b (diff) | |
update
Diffstat (limited to 'tools/init/check_upstream')
| -rwxr-xr-x | tools/init/check_upstream | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/init/check_upstream b/tools/init/check_upstream index e9e8841..fa6d277 100755 --- a/tools/init/check_upstream +++ b/tools/init/check_upstream | |||
| @@ -21,4 +21,4 @@ if ! git rev-list "$head" | grep "$(git rev-parse origin/master)" > /dev/null; t | |||
| 21 | echo "New commit at" "$1" | 21 | echo "New commit at" "$1" |
| 22 | fi | 22 | fi |
| 23 | 23 | ||
| 24 | echo "$(date)" check "$1" >> "$SETTING_DIR/log" | 24 | echo "$(date)" check "$1" >> "$SETTING_DIR/log" || echo error happens when check upstream at $1 |