diff options
| author | Kenneth Heafield <github@kheafield.com> | 2012-09-11 14:23:39 +0100 |
|---|---|---|
| committer | Kenneth Heafield <github@kheafield.com> | 2012-09-11 14:27:52 +0100 |
| commit | 7aa4baf365a80380bebacfc4d4a1ef1b9d757590 (patch) | |
| tree | 17d6cce5219783904ab8ee05865608bfeb7fc4be /jam-files/sanity.jam | |
| parent | 8a3b40e47575d0013bcab7294aa5f1d73107dd12 (diff) | |
Update kenlm and build system
Diffstat (limited to 'jam-files/sanity.jam')
| -rw-r--r-- | jam-files/sanity.jam | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/jam-files/sanity.jam b/jam-files/sanity.jam index 8ccfc65d..086f20ae 100644 --- a/jam-files/sanity.jam +++ b/jam-files/sanity.jam @@ -15,6 +15,13 @@ rule _shell ( cmd : extras * ) { return [ trim-nl [ SHELL $(cmd) : $(extras) ] ] ; } +rule shell_or_fail ( cmd ) { + local ret = [ SHELL $(cmd) : exit-status ] ; + if $(ret[2]) != 0 { + exit $(cmd) failed : 1 ; + } +} + cxxflags = [ os.environ "CXXFLAGS" ] ; cflags = [ os.environ "CFLAGS" ] ; ldflags = [ os.environ "LDFLAGS" ] ; @@ -275,3 +282,5 @@ if [ option.get "sanity-test" : : "yes" ] { EXIT "Bad" : 1 ; } } + +use-project /top : . ; |