wok
diff extrema/receipt @ rev 7379
stardict:delete strange label in the receipt of stardict
author |
fireflyoo <lufeng369@gmail.com> |
date |
Thu Nov 25 22:56:24 2010 +0000 (2010-11-25) |
parents |
6e90579538d6 |
children |
d1846ea90ecb |
line diff
1.1 --- a/extrema/receipt Sun Feb 28 14:11:33 2010 +0100
1.2 +++ b/extrema/receipt Thu Nov 25 22:56:24 2010 +0000
1.3 @@ -20,7 +20,7 @@
1.4 --prefix=/usr \
1.5 --enable-shared \
1.6 $CONFIGURE_ARGS &&
1.7 - make &&
1.8 + make -j 4 &&
1.9 make DESTDIR=$PWD/_pkg install
1.10 }
1.11