diff options
| author | Hsieh Chin Fan <pham@topo.tw> | 2022-11-18 13:03:47 +0800 |
|---|---|---|
| committer | Hsieh Chin Fan <pham@topo.tw> | 2022-11-18 13:03:47 +0800 |
| commit | b0063faac797b6996301a0dee7599dc7974f7a3d (patch) | |
| tree | 3996108cdc11d0ded4c4713912694610c8f708a2 | |
| parent | 953bff49e0433d33c66e41ef951005431c573a81 (diff) | |
Fix return value
| -rwxr-xr-x | tools/git/check-repos.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/git/check-repos.sh b/tools/git/check-repos.sh index 308bea6..e6f3b6c 100755 --- a/tools/git/check-repos.sh +++ b/tools/git/check-repos.sh | |||
| @@ -44,3 +44,5 @@ done <$LIST | |||
| 44 | 44 | ||
| 45 | # If '-n' is specified, print number of repos with changes/local-diff | 45 | # If '-n' is specified, print number of repos with changes/local-diff |
| 46 | [[ $COUNT_ONLY == true ]] && echo $count | 46 | [[ $COUNT_ONLY == true ]] && echo $count |
| 47 | |||
| 48 | exit 0 | ||