update makefile

hbmartin · Jun 19, 2021 · a7d8287 · a7d8287
1 parent 9d7cd61
commit a7d8287
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -6,7 +6,7 @@ tag:
  git push --tags
 
 check-master:
- if [[ `git rev-parse --abbrev-ref HEAD` != "master" ]]; then exit 1; fi
+ if [[ `git rev-parse --abbrev-ref HEAD` != "main" ]]; then exit 1; fi
 
 check-unstaged:
  git diff-index --quiet HEAD --