diff options
author | Hieu Hoang <fishandfrolick@gmail.com> | 2012-07-31 18:50:28 +0400 |
---|---|---|
committer | Hieu Hoang <fishandfrolick@gmail.com> | 2012-07-31 18:50:28 +0400 |
commit | dede0d17471af70fd648e0a1b34924fbb45bcc94 (patch) | |
tree | 54c8e0623cd6b103e93dafa993b00f16ad3c3099 /jam-files | |
parent | 3308589346ac69e12f2642fc33cc8bc7d952633e (diff) | |
parent | edf34e9d35425ca627ed19e1415172258ca82cc5 (diff) |
Merge branch 'master' of github.com:moses-smt/mosesdecoder
Diffstat (limited to 'jam-files')
-rw-r--r-- | jam-files/sanity.jam | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/jam-files/sanity.jam b/jam-files/sanity.jam index 9e68a6c8f..419a451ea 100644 --- a/jam-files/sanity.jam +++ b/jam-files/sanity.jam @@ -4,6 +4,7 @@ import os ; import path ; import project ; import build-system ; +import version ; #Shell with trailing line removed http://lists.boost.org/boost-build/2007/08/17051.php rule trim-nl ( str extras * ) { @@ -245,3 +246,12 @@ rule always-if-changed ( file current : targets * ) { } } } + +if [ option.get "sanity-test" : : "yes" ] { + local current_version = [ modules.peek : JAM_VERSION ] ; + if ( $(current_version[0]) < 2000 && [ version.check-jam-version 3 1 16 ] ) || [ version.check-jam-version 2011 0 0 ] { + EXIT "Sane" : 0 ; + } else { + EXIT "Bad" : 1 ; + } +} |