From a6a95dae5bd4c3dbdcde3eea027ea61c5f693d3e Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Thu, 2 Jun 2016 13:17:21 -0700
Subject: 3029

---
 test_layers | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'test_layers')

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
-- 
cgit 1.4.1-2-gfad0