# HG changeset patch # User Pascal Bellard # Date 1380196830 0 # Node ID cef5e17a43a1c7179d2df1b4c2c7419a4d2922e9 # Parent 04b42e0fdee78de4909a370657d44bfd8aef0f39 mono: remove a wrong error trigger diff -r 04b42e0fdee7 -r cef5e17a43a1 mono/receipt --- a/mono/receipt Thu Sep 26 11:19:51 2013 +0000 +++ b/mono/receipt Thu Sep 26 12:00:30 2013 +0000 @@ -25,7 +25,7 @@ --sysconfdir=/etc \ --with-libgdiplus=installed \ $CONFIGURE_ARGS 2>&1 | grep -v /libtool && - make -j 1 && make install + make -j 1 2>&1 | grep -v 'dll.makefrag: No such file' && make install for i in System.Web_standalone_test_net_2_0 \ System.Web_standalone_test_net_4_0 \