diff options
-rwxr-xr-x | tools/check_upstream | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/tools/check_upstream b/tools/check_upstream index 3313e5b..e9e8841 100755 --- a/tools/check_upstream +++ b/tools/check_upstream | |||
@@ -16,8 +16,7 @@ fi | |||
16 | 16 | ||
17 | cd "$1" && \ | 17 | cd "$1" && \ |
18 | git fetch origin && \ | 18 | git fetch origin && \ |
19 | if ! git rev-list "$head" | grep "$(git rev-parse origin/master)" > /dev/null | 19 | if ! git rev-list "$head" | grep "$(git rev-parse origin/master)" > /dev/null; then |
20 | then | ||
21 | [[ $(git pull my) == 'Alrady up to date.' ]] || \ | 20 | [[ $(git pull my) == 'Alrady up to date.' ]] || \ |
22 | echo "New commit at" "$1" | 21 | echo "New commit at" "$1" |
23 | fi | 22 | fi |