I like gzip

1 files changed, 3 insertions, 3 deletions

diff --git a/jam-files/sanity.jam b/jam-files/sanity.jam
index 61362c66b..79fd0ce1c 100644
--- a/jam-files/sanity.jam
+++ b/jam-files/sanity.jam
@@ -288,11 +288,11 @@ rule failure-message ( ok ? ) {
       echo "If you need support, attach the full output to your e-mail." ;
     } else {
       echo "The build failed.  If you need support, run:" ;
-      echo "  $(args) --debug-configuration -d2 >build.log" ;
-      echo "then attach build.log to your e-mail." ;
+      echo "  $(args) --debug-configuration -d2 |gzip >build.log.gz" ;
+      echo "then attach build.log.gz to your e-mail." ;
       echo "You MUST do 3 things before sending to the mailing list:" ;
       echo "   1. Subscribe to the mailing list at http://mailman.mit.edu/mailman/listinfo/moses-support" ;
-      echo "   2. Zip up your build.log file before attaching it to the email" ;
+      echo "   2. Attach build.log.gz to your e-mail" ;
       echo "   3. Say what is the EXACT command you executed when you got the error" ;
     }
     echo "ERROR" ;