diff options
| author | Nicolás Reynolds <fauno@kiwwwi.com.ar> | 2012-11-05 16:02:07 -0300 |
|---|---|---|
| committer | Nicolás Reynolds <fauno@kiwwwi.com.ar> | 2012-11-05 16:02:07 -0300 |
| commit | 362ec9e880e784ec9bc2858c635b0279e52af82d (patch) | |
| tree | ae74b2854fec2d91af706d957287f96208c41ba2 /libretools.conf | |
| parent | d9efdb903fcd4d3242918910e7d6c00d2e17975d (diff) | |
Be even smarter
Only use one pacman call by getting repo.db files from the local cache. Adds
a new libretools.conf array for getting extra packages (other than the base
system): CHROOTEXTRAPKGS.
Diffstat (limited to 'libretools.conf')
| -rw-r--r-- | libretools.conf | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/libretools.conf b/libretools.conf index 88ba515..8032397 100644 --- a/libretools.conf +++ b/libretools.conf @@ -19,6 +19,8 @@ ARCHES=('i686' 'x86_64' 'mips64el' 'any') ## The directory where the chroots are stored CHROOTDIR=/home/chroot +# Extra packages to have installed on the chroot (besides base base-devel and sudo) +CHROOTEXTRAPKG=(distcc ccache tsocks tokyocabinet) ## The working chroot ## A chroot is useful to build packages isolated from the current system and avoid |