diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-10-06 17:27:30 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-10-06 17:27:30 -0700 |
commit | 7b9cb78d681d69258f26c7cd4882dfe15a7047bb (patch) | |
tree | d2c733717a0693310431a868cd068bd7fdeced86 | |
parent | b4785580be3fd46f18e21ee8c92759d5481432ed (diff) | |
download | mu-7b9cb78d681d69258f26c7cd4882dfe15a7047bb.tar.gz |
3451
Fix CI.
-rwxr-xr-x | test_layers | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test_layers b/test_layers index a59f4064..c0721d92 100755 --- a/test_layers +++ b/test_layers @@ -16,7 +16,7 @@ if [[ $1 == one-off ]] then - make + ./build ./mu_bin test || exit 1 exit 0 fi |