wok diff mono/receipt @ rev 18679

Up tazpanel(557), tazlito(409); tiny edits xpenguins, xpenguins_themes
author Aleksej Bobylev <al.bobylev@gmail.com>
date Tue Dec 08 13:50:59 2015 +0200 (2015-12-08)
parents c34af2cd7b0c
children a78610b2eb47
line diff
     1.1 --- a/mono/receipt	Fri Aug 16 09:03:21 2013 +0000
     1.2 +++ b/mono/receipt	Tue Dec 08 13:50:59 2015 +0200
     1.3 @@ -25,7 +25,7 @@
     1.4  		--sysconfdir=/etc \
     1.5  		--with-libgdiplus=installed \
     1.6  		$CONFIGURE_ARGS 2>&1 | grep -v /libtool &&
     1.7 -	make -j 1 && make install
     1.8 +	make -j 1 2>&1 | grep -v 'dll.makefrag: No such file' && make install
     1.9  
    1.10  	for i in System.Web_standalone_test_net_2_0 \
    1.11  		 System.Web_standalone_test_net_4_0 \