diff options
Diffstat (limited to 'extra/hal/Pkgfile')
| -rwxr-xr-x | extra/hal/Pkgfile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/extra/hal/Pkgfile b/extra/hal/Pkgfile index b8d377f7d..350cd6c00 100755 --- a/extra/hal/Pkgfile +++ b/extra/hal/Pkgfile @@ -30,8 +30,9 @@ build() { --sysconfdir=/etc --with-udev-prefix=/etc \ --localstatedir=/var \ --with-pci-ids=/usr/share/pci.ids.gz \ + --disable-console-kit \ --disable-policy-kit \ - --disable-console-kit + --disable-gtk-doc make make DESTDIR=$PKG install |