diff options
Diffstat (limited to 'tools/git')
| -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 | ||