From 69cf8f1a084e477284d8ae48a4a7abc499e92991 Mon Sep 17 00:00:00 2001
From: Adam Izraelevitz
Date: Fri, 22 Dec 2017 19:34:39 -0500
Subject: API change: out-of-bounds vec accesses now invalid, not first element
 (#685)

[skip formal checks]
Generate nicer name for remove accesses
---
 .run_formal_checks.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.run_formal_checks.sh')

diff --git a/.run_formal_checks.sh b/.run_formal_checks.sh
index ace9e4b0..942b3e1a 100755
--- a/.run_formal_checks.sh
+++ b/.run_formal_checks.sh
@@ -12,7 +12,7 @@ DUT=$1
 if [ $TRAVIS_PULL_REQUEST = "false" ]; then
     echo "Not a pull request, no formal check"
     exit 0
-elif [[ $TRAVIS_COMMIT_MESSAGE == *"[skip formal checks]"* ]]; then
+elif git log --format=%B --no-merges $TRAVIS_BRANCH..HEAD | grep '\[skip formal checks\]'; then
     echo "Commit message says to skip formal checks"
     exit 0
 else
-- 
cgit v1.2.3