diff options
| author | typebrook <typebrook@gmail.com> | 2020-02-24 13:59:25 +0800 |
|---|---|---|
| committer | typebrook <typebrook@gmail.com> | 2020-02-24 13:59:25 +0800 |
| commit | 3fa79eb14a4c0244fb2dc4a5b805b7cffaa63770 (patch) | |
| tree | 0d9a3a7ebcf538af3f21aba85eb2075e01e86421 /scripts/check_upstream | |
| parent | 08ccb874cdc465eda46506f284ee14b244c0cf4b (diff) | |
update
Diffstat (limited to 'scripts/check_upstream')
| -rwxr-xr-x | scripts/check_upstream | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/check_upstream b/scripts/check_upstream index 02c3f87..3313e5b 100755 --- a/scripts/check_upstream +++ b/scripts/check_upstream | |||
| @@ -18,7 +18,7 @@ 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 |
| 20 | then | 20 | then |
| 21 | [ $(git pull my) = 'Alrady up to date.' ] || \ | 21 | [[ $(git pull my) == 'Alrady up to date.' ]] || \ |
| 22 | echo "New commit at" "$1" | 22 | echo "New commit at" "$1" |
| 23 | fi | 23 | fi |
| 24 | 24 | ||