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 : . ;