diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_setup_pbuilder.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_setup_pbuilder.sh b/bin/reproducible_setup_pbuilder.sh index 7ff584cd..23baa1ee 100755 --- a/bin/reproducible_setup_pbuilder.sh +++ b/bin/reproducible_setup_pbuilder.sh @@ -110,7 +110,7 @@ setup_pbuilder() { echo echo "Now let's see whether the correct packages where installed..." for PKG in ${PACKAGES} ; do - grep "http://reproducible.alioth.debian.org/debian/ ./ Packages" ${LOG} \ + egrep "http://reproducible.alioth.debian.org/debian(/|) ./ Packages" ${LOG} \ | grep -v grep | grep "${PKG} " \ || ( echo ; echo "Package ${PKG} is not installed at all or probably rather not in our version, so removing the chroot and exiting now." ; sudo rm -v /var/cache/pbuilder/${NAME}-new.tgz ; rm $TMPFILE $LOG ; exit 1 ) done |