diff options
author | Kenneth Heafield <github@kheafield.com> | 2013-04-17 16:46:01 +0400 |
---|---|---|
committer | Kenneth Heafield <github@kheafield.com> | 2013-04-17 16:46:01 +0400 |
commit | 875a194dae1dfa6fdcd4a7f0a9c9dbb8ca338927 (patch) | |
tree | af1bf06808171aeb053243b4bd9bc0a5bc0b8677 /jam-files/sanity.jam | |
parent | f007a144f5eb7c7f437520a8223fae8a97633ff7 (diff) |
Attempt to reduce moses-support e-mails
Diffstat (limited to 'jam-files/sanity.jam')
-rw-r--r-- | jam-files/sanity.jam | 20 |
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 ; |