From: Ed Warnicke Date: Fri, 9 Sep 2016 20:34:24 +0000 (-0700) Subject: .map files must die die die X-Git-Url: https://gerrit.fd.io/r/gitweb?a=commitdiff_plain;h=4b03ceaaefd626e125f24fdb676a92ca042ff8d7;p=ci-management.git .map files must die die die Change-Id: I23c7cd42e84e8c75898a0ff42041c62ded2ddc68 Signed-off-by: Ed Warnicke --- diff --git a/jjb/vpp/include-raw-vpp-docs.sh b/jjb/vpp/include-raw-vpp-docs.sh index 678ebfcd8..af9a50f3c 100644 --- a/jjb/vpp/include-raw-vpp-docs.sh +++ b/jjb/vpp/include-raw-vpp-docs.sh @@ -21,8 +21,7 @@ make doxygen mkdir -p $(dirname ${RESOURCES_DIR}) mv -f ${DOC_DIR} ${RESOURCES_DIR} cd ${SITE_DIR} -find . -type f -name '*.md5' -delete -find . -type f -name '*.dot' -delete +find . -type f '(' -name '*.md5' -o -name '*.dot' -o -name '*.map' ')' -delete cat > pom.xml << EOF 4.0.0