wok rev 15279

mono: remove a wrong error trigger
author Pascal Bellard <pascal.bellard@slitaz.org>
date Thu Sep 26 12:00:30 2013 +0000 (2013-09-26)
parents 04b42e0fdee7
children 136cd9cc2e6c
files mono/receipt
line diff
     1.1 --- a/mono/receipt	Thu Sep 26 11:19:51 2013 +0000
     1.2 +++ b/mono/receipt	Thu Sep 26 12:00:30 2013 +0000
     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 \