diff options
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 |