updated git_pull_make_repos.sh

git_pull_make_repos.sh

@@ -34,7 +34,7 @@ if [ -z "${NO_TEST:-}" ]; then
     opts="$opts test"
 fi
 
-repofile="$srcdir/setup/repolist.txt"
+repofile="$srcdir/setup/repos.txt"
 
 if [ $# -gt 0 ]; then
     repolist="$*"
@@ -47,7 +47,7 @@ else
         repolist="$(sed 's/#.*//; /^[[:space:]]*$/d' < "$repofile")"
     else
         echo "fetching repos from GitHub repo list"
-        repolist="$(curl -sSL https://raw.githubusercontent.com/HariSekhon/bash-tools/master/setup/repolist.txt | sed 's/#.*//')"
+        repolist="$(curl -sSL https://raw.githubusercontent.com/HariSekhon/bash-tools/master/setup/repos.txt | sed 's/#.*//')"
     fi
 fi