diff options
| -rw-r--r-- | envsetup.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/envsetup.sh b/envsetup.sh index 8b06039..bb346de 100644 --- a/envsetup.sh +++ b/envsetup.sh @@ -988,7 +988,7 @@ function godir () { T=$(gettop) if [[ ! -f $T/filelist ]]; then echo -n "Creating index..." - (cd $T; find . -wholename ./out -prune -o -type f > filelist) + (cd $T; find . -wholename ./out -prune -o -wholename ./.repo -prune -o -type f > filelist) echo " Done" echo "" fi |