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 | 8882e9ebe158aef382bb5544559ef7f2a553db62 (patch) | |
| tree | f0ed595a45df16ddd1ca7ba61bc4ac0ee22d2dfb /jam-files/sanity.jam | |
| parent | 104e23dd0b0795abab4565228537438481dc5a5b (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 : . ; |