fixed some bugs

This commit is contained in:
2019-11-18 18:05:47 -07:00
parent 336746c138
commit 8237544bf8
64 changed files with 274 additions and 348 deletions

View File

@@ -1,6 +1,3 @@
if("master" STREQUAL "")
message(FATAL_ERROR "Tag for git checkout should not be empty.")
endif()
execute_process(
COMMAND "/usr/local/bin/git" rev-list --max-count=1 HEAD