diff options
| -rwxr-xr-x | server/mrrepo | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server/mrrepo b/server/mrrepo index 85a037c..e22e5dd 100755 --- a/server/mrrepo +++ b/server/mrrepo @@ -96,7 +96,7 @@ done <manifest # Find all the existing repositories (directories that end with .git). # -old=("$(find . -type d -name '*.git' -print -prune | sed -e 's%^./%%' -)") +old=($(find . -type d -name '*.git' -print -prune | sed -e 's%^./%%' -)) git_ops=() if [ "$verb" -eq 0 ]; then |