# HG changeset patch # User Christopher Rogers # Date 1305876607 0 # Node ID dcd8cc7f161cac2f5fe15794de29dc937156dd09 # Parent ac3ba79fed17e7212ef904a833a36c3e75b2bfdd gtk+: Add $CONFIGURE_ARGS. diff -r ac3ba79fed17 -r dcd8cc7f161c gtk+/receipt --- a/gtk+/receipt Fri May 20 07:27:25 2011 +0000 +++ b/gtk+/receipt Fri May 20 07:30:07 2011 +0000 @@ -25,7 +25,8 @@ ./configure \ --prefix=/usr \ --sysconfdir=/etc \ - --with-html-dir=/usr/share/doc && + --with-html-dir=/usr/share/doc \ + $CONFIGURE_ARGS && make -j 4 && make DESTDIR=$DESTDIR install }