Preserve CNAME for custom domain

nexusformat · Jan 23, 2020 · ed1dc39 · ed1dc39
1 parent f07e2e9
commit ed1dc39
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/jenkins_build b/jenkins_build
@@ -68,9 +68,9 @@ if test "${job_name}" = "master branch"; then
     git clone https://github.com/nexusformat/definitions.git --branch gh-pages ${DIST_ROOT}
 
     # need to preserve CNAME file for custom github domain
-    cp -f ${DIST_ROOT}/CNAME /tmp/CNAME.$$
+    [ -f ${DIST_ROOT}/CNAME ] && cp -f ${DIST_ROOT}/CNAME /tmp/CNAME.$$
     rm -fr ${DIST_ROOT}/*
-    mv /tmp/CNAME.$$ ${DIST_ROOT}/CNAME
+    [ -f /tmp/CNAME.$$ ] && mv /tmp/CNAME.$$ ${DIST_ROOT}/CNAME
 
     mkdir ${DIST_ROOT}/pdf