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 | |
| parent | 104e23dd0b0795abab4565228537438481dc5a5b (diff) | |
Update kenlm and build system
Diffstat (limited to 'jam-files')
| -rw-r--r-- | jam-files/fail/Jamroot | 4 | ||||
| -rw-r--r-- | jam-files/sanity.jam | 9 |
2 files changed, 13 insertions, 0 deletions
diff --git a/jam-files/fail/Jamroot b/jam-files/fail/Jamroot new file mode 100644 index 00000000..c3584d89 --- /dev/null +++ b/jam-files/fail/Jamroot @@ -0,0 +1,4 @@ +actions fail { + false +} +make fail : : fail ; 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 : . ; |