diff options
| -rw-r--r-- | gnome-terminal/Pkgfile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gnome-terminal/Pkgfile b/gnome-terminal/Pkgfile index 81c6819..57a672a 100644 --- a/gnome-terminal/Pkgfile +++ b/gnome-terminal/Pkgfile @@ -7,15 +7,15 @@ name=gnome-terminal version=3.0.1 -release=1 +release=2 source=(http://download.gnome.org/sources/$name/${version%.*}/$name-$version.tar.bz2) build() { cd $name-$version ./configure --prefix=/usr \ --sysconfdir=/etc \ - --localstatedir=/var/lib + --localstatedir=/var/lib \ + --with-gtk=3.0 make make DESTDIR=$PKG install - rm -rf $PKG/var } |