diff options
author | 2009-07-16 16:39:03 -0400 | |
---|---|---|
committer | 2009-07-16 16:39:03 -0400 | |
commit | b04ca72439752a5c964c75b18994311d0aef5618 (patch) | |
tree | 13a190764f26bffea538ea77aaa7a15108c454cd /update_gentoo_profiles.php | |
parent | Add dev-manager support to gentoo/portage modules (diff) | |
download | ingenue-b04ca72439752a5c964c75b18994311d0aef5618.tar.gz ingenue-b04ca72439752a5c964c75b18994311d0aef5618.tar.bz2 ingenue-b04ca72439752a5c964c75b18994311d0aef5618.zip |
Added predefined package sets; separated gentoo-specific setup into gentoo_setup.php
Diffstat (limited to 'update_gentoo_profiles.php')
-rwxr-xr-x | update_gentoo_profiles.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/update_gentoo_profiles.php b/update_gentoo_profiles.php index c2e9f20..c01b455 100755 --- a/update_gentoo_profiles.php +++ b/update_gentoo_profiles.php @@ -10,5 +10,8 @@ while ($p=$r->fetch(PDO::FETCH_ASSOC)) { echo "Updating from {$conf['pkgdir_root']}/$p->pkgdir/Packages...\n"; list($new, $updated, $deleted, $total)=$p->read_Packages(true, true); echo "Packages: $new new, $updated updated, $deleted deleted, $total total.\n"; + echo 'Updating package sets...'; + $p->read_pkgsets(true); + echo "done\n"; } ?> |