const char* GIT_REV="9080f1d+";
const char* GIT_TAG="";
const char* GIT_BRANCH="rolling";
const char* BUILD_TIME="2020-09-28 23:50";