Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/moses-smt/mosesdecoder.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKenneth Heafield <github@kheafield.com>2013-04-17 16:46:01 +0400
committerKenneth Heafield <github@kheafield.com>2013-04-17 16:46:01 +0400
commit875a194dae1dfa6fdcd4a7f0a9c9dbb8ca338927 (patch)
treeaf1bf06808171aeb053243b4bd9bc0a5bc0b8677 /jam-files/sanity.jam
parentf007a144f5eb7c7f437520a8223fae8a97633ff7 (diff)
Attempt to reduce moses-support e-mails
Diffstat (limited to 'jam-files/sanity.jam')
-rw-r--r--jam-files/sanity.jam20
1 files changed, 20 insertions, 0 deletions
diff --git a/jam-files/sanity.jam b/jam-files/sanity.jam
index 7f9c45d83..672502ba0 100644
--- a/jam-files/sanity.jam
+++ b/jam-files/sanity.jam
@@ -265,6 +265,26 @@ rule add-post-hook ( names * ) {
post-hooks += $(names) ;
}
+rule failure-message ( ok ? ) {
+ if $(ok) != "ok" {
+ local args = [ modules.peek : ARGV ] ;
+ local args = $(args:J=" ") ;
+ if --debug-configuration in [ modules.peek : ARGV ] {
+ echo "The build failed with command line: " ;
+ echo " $(args)" ;
+ 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 "ERROR" ;
+ } else {
+ echo "SUCCESS" ;
+ }
+}
+add-post-hook failure-message ;
+
import feature : feature ;
feature options-to-write : : free ;
import toolset : flags ;