Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/moses-smt/mosesdecoder.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHieu Hoang <fishandfrolick@gmail.com>2012-07-31 18:50:28 +0400
committerHieu Hoang <fishandfrolick@gmail.com>2012-07-31 18:50:28 +0400
commitdede0d17471af70fd648e0a1b34924fbb45bcc94 (patch)
tree54c8e0623cd6b103e93dafa993b00f16ad3c3099 /jam-files/sanity.jam
parent3308589346ac69e12f2642fc33cc8bc7d952633e (diff)
parentedf34e9d35425ca627ed19e1415172258ca82cc5 (diff)
Merge branch 'master' of github.com:moses-smt/mosesdecoder
Diffstat (limited to 'jam-files/sanity.jam')
-rw-r--r--jam-files/sanity.jam10
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 ;
+ }
+}