diff options
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 |