From 6427bc2a1177405e662725891aa319ed9bc36cb0 Mon Sep 17 00:00:00 2001 From: Hsieh Chin Fan Date: Wed, 14 Jul 2021 11:46:03 +0800 Subject: update --- tools/init/check_upstream | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/init/check_upstream') 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 echo "New commit at" "$1" fi -echo "$(date)" check "$1" >> "$SETTING_DIR/log" +echo "$(date)" check "$1" >> "$SETTING_DIR/log" || echo error happens when check upstream at $1 -- cgit v1.2.3-70-g09d2