From 933df4e05c284a127a743f6fc81865939bfaee49 Mon Sep 17 00:00:00 2001
From: Jerry Zhao <jerryz123@berkeley.edu>
Date: Thu, 27 Aug 2020 23:27:24 -0700
Subject: [PATCH] Whitelist firemarshal's dev branch for commit-on-master check

---
 .circleci/check-commit.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.circleci/check-commit.sh b/.circleci/check-commit.sh
index 98c770ad..7824b943 100755
--- a/.circleci/check-commit.sh
+++ b/.circleci/check-commit.sh
@@ -82,7 +82,12 @@ search
 
 submodules=("coremark" "firemarshal" "nvdla-workload" "spec2017")
 dir="software"
-branches=("master")
+if [ "$CIRCLE_BRANCH" == "master" ] || [ "$CIRCLE_BRANCH" == "dev" ]
+then
+    branches=("master")
+else
+    branches=("master" "dev")
+fi
 search
 
 submodules=("DRAMSim2" "axe" "barstools" "chisel-testers" "dsptools" "firrtl-interpreter" "torture" "treadle")