# HG changeset patch # User Christopher Rogers # Date 1305868465 0 # Node ID 3008f9f44cb0d0c94534ada07bd1b3f326cbcd5a # Parent ad480a4addbccc592bdb44a3f7a608f6ff029b24 warmux: Add $CONFIGURE_ARGS. diff -r ad480a4addbc -r 3008f9f44cb0 warmux/receipt --- a/warmux/receipt Fri May 20 05:10:29 2011 +0000 +++ b/warmux/receipt Fri May 20 05:14:25 2011 +0000 @@ -29,7 +29,8 @@ mkdir -p $DESTDIR/usr/share/warmux ./configure \ --bindir=/usr/games \ - --with-font-path=/usr/share/fonts/truetype/ttf-dejavu/DejaVuSans.ttf && + --with-font-path=/usr/share/fonts/truetype/ttf-dejavu/DejaVuSans.ttf \ + $CONFIGURE_ARGS && make && make -j1 install }