X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Makefile;h=d8afc98420124d9ccf26c044ca617edacccd8262;hb=d73e4b7b66f7ac23d333db85ec664bd16e767d40;hp=6763e826f2abbc3a74660c3458238da938f5da53;hpb=37463bbc8392f390714f7d670c696e4bb027ccf2;p=org.ibex.core.git diff --git a/Makefile b/Makefile index 6763e82..d8afc98 100644 --- a/Makefile +++ b/Makefile @@ -163,7 +163,7 @@ dist: | grep -v "make...:.\(Entering\|Leaving\).directory" (test `uname -n` = gosset.megacz.com) && \ - (make $(silent) dist-private 2>> .make-dist.out >> .make-dist.out || \ + (((make $(silent) dist-private 2>&1) >> .make-dist.out) || \ (cat .make-dist.out | mail -s "Build $(current_build) FAILED" cvs@xwt.org; false)) (test `uname -n` = gosset.megacz.com) && \