# HG changeset patch # User Christophe Lincoln # Date 1305552012 -7200 # Node ID bd96660a6514e6e249cea6d24021f5efeba8e940 # Parent 0d3a737e695e64104774db0cd173636216741546 Remove deleted pkgs in wok diff -r 0d3a737e695e -r bd96660a6514 cook.site --- a/cook.site Sun May 15 19:53:00 2011 +0100 +++ b/cook.site Mon May 16 15:20:12 2011 +0200 @@ -21,7 +21,7 @@ # Default options (BUILD_HOST is set in cook.conf) prefix=/usr datarootdir=$prefix/share -datadir=$datarootdir +#datadir=$datarootdir localedir=$datarootdir/locale infodir=$datarootdir/info mandir=$datarootdir/man diff -r 0d3a737e695e -r bd96660a6514 cooker --- a/cooker Sun May 15 19:53:00 2011 +0100 +++ b/cooker Mon May 16 15:20:12 2011 +0200 @@ -426,6 +426,18 @@ echo $pkg >> $commits.tmp done done + + # We may have deleted packages and files in stuff/ + cd $wok + for pkg in * + do + if [ ! -d "${wok}-hg/$pkg" ]; then + echo "Removing package: $pkg" + . $wok/$pkg/receipt + rm -rf $PKGS/$PACKAGE-$VERSION* + rm -rf $wok/$pkg + fi + done # Keep previous commit and discard duplicate lines cat $commits $commits.tmp | sed /"^$"/d > $commits.new