Skip to content
Permalink
Browse files

Replace git status with git diff-index to check if the local repo has…

… uncommited changes, fix for #104
  • Loading branch information...
babelouest committed Jul 25, 2019
1 parent 1e079ae commit 254ac5623d619b681b0757e28260cf22189013b5
Showing with 1 addition and 1 deletion.
  1. +1 −1 .travis-qemu.sh
@@ -116,7 +116,7 @@ else
clang-format -version
clang-format-8 -version
./clang-format.sh
git status | grep "nothing to commit, working tree clean"
git diff-index --quiet HEAD

cmake \
-DCBOR_CUSTOM_ALLOC=ON \

0 comments on commit 254ac56

Please sign in to comment.
You can’t perform that action at this time.