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 |