diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-06-02 13:17:21 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-06-02 13:17:21 -0700 |
commit | a6a95dae5bd4c3dbdcde3eea027ea61c5f693d3e (patch) | |
tree | c691b2a2ff6a29e71cfd54caec314855eab2343d /test_layers | |
parent | 09db002b8d7dc1e1d0990782d655f0e44312f380 (diff) | |
download | mu-a6a95dae5bd4c3dbdcde3eea027ea61c5f693d3e.tar.gz |
3029
Diffstat (limited to 'test_layers')
-rwxr-xr-x | test_layers | 7 |
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 |