From 954d688485035c94e25956b555e4080e1a9d1b46 Mon Sep 17 00:00:00 2001 From: Brian Read Date: Mon, 10 Jul 2023 23:01:38 +0200 Subject: [PATCH] Delete .gitignore files before creating archive. --- Makefile.common | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile.common b/Makefile.common index b0fc350..dc78be3 100644 --- a/Makefile.common +++ b/Makefile.common @@ -354,6 +354,7 @@ $(ARCHIVEFILE): if [ -d ${CODEDIR} ] ; then cp -R "${CODEDIR}" "${TEMPDIR}/${TREEPATH}" ; fi ; \ if [ -e createlinks ] ; then cp createlinks "${TEMPDIR}/${TREEPATH}/." ; fi ; \ if [ -d additional ] ; then cp -r additional/* "${TEMPDIR}/${TREEPATH}/." ; fi ; \ + find "${TEMPDIR}/${TREEPATH}/." -type f -name ".gitignore" -delete ; \ rm -f ${ARCHIVEFILE} ;\ tar -caf "${ARCHIVEFILE}" -C "${TEMPDIR}" "${TREEPATH}" ;\ ls -l ${ARCHIVEFILE} ;\