aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rwxr-xr-xtools/check_upstream3
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
17cd "$1" && \ 17cd "$1" && \
18git fetch origin && \ 18git fetch origin && \
19if ! git rev-list "$head" | grep "$(git rev-parse origin/master)" > /dev/null 19if ! git rev-list "$head" | grep "$(git rev-parse origin/master)" > /dev/null; then
20then
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"
23fi 22fi