1 files changed, 7 insertions, 5 deletions
diff --git a/sanity.jam b/sanity.jam
index 1b37a4e7..a89e95f9 100644
--- a/sanity.jam
+++ b/sanity.jam
@@ -21,11 +21,7 @@ rule test_flags ( flags * ) {
     echo $(cmd) ;
     echo $(ret) ;
   }
-  if $(ret[2]) = 0 {
-    return true ;
-  } else {
-    return ;
-  }
+  return $(ret[2]) == 0 ;
 }
 
 rule test_header ( name ) {
@@ -182,3 +178,9 @@ rule install-headers ( name : list * : source-root ? ) {
   source-root ?= "." ;
   install $(name) : $(list) : <location>$(includedir) <install-source-root>$(source-root) ;
 }
+
+rule build-projects ( projects * ) {
+  for p in $(projects) {
+    build-project $(p) ;
+  }
+}