diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-02-19 10:10:44 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-02-19 10:10:44 +0100 |
commit | e1005a8757719c21d2278f1e6913cc2f681946b0 (patch) | |
tree | 493b1910f135d51e8fcd1055b11271a28ff287a0 /bin | |
parent | 5866def6e22ecae0f91056188df6c8f30e333e10 (diff) | |
download | jenkins.debian.net-e1005a8757719c21d2278f1e6913cc2f681946b0.tar.xz |
reproducible: actually unschedule packages
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/reproducible_maintainance.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/reproducible_maintainance.sh b/bin/reproducible_maintainance.sh index c59d2781..d8e71d82 100755 --- a/bin/reproducible_maintainance.sh +++ b/bin/reproducible_maintainance.sh @@ -125,11 +125,11 @@ if grep -q '|' $PACKAGES ; then echo cat $PACKAGES echo - echo "To fix:" - echo for PKG in $(cat $PACKAGES | cut -d "|" -f1) ; do echo "sqlite3 ${PACKAGES_DB} \"DELETE FROM sources_scheduled WHERE name = '$PKG';\"" + sqlite3 -init $INIT ${PACKAGES_DB} \"DELETE FROM sources_scheduled WHERE name = '$PKG';\" done + echo "Packages have been removed from scheduling." echo DIRTY=true fi |