1 files changed, 7 insertions, 0 deletions
diff --git a/test_layers b/test_layers
index d57e43a0..1910a5d7 100755
--- a/test_layers
+++ b/test_layers
@@ -14,6 +14,13 @@
 #   Test all layers for a specific app:
 #     test_layers app
 
+if [[ $1 == one-off ]]
+then
+  make
+  ./mu_bin test || exit 1
+  exit 0
+fi
+
 # Core layers atop Valgrind
 for f in [0-9]*
 do