From: Ed Warnicke Date: Fri, 9 Sep 2016 20:36:13 +0000 (-0700) Subject: Files ending in .map must die die die X-Git-Url: https://gerrit.fd.io/r/gitweb?a=commitdiff_plain;h=refs%2Fchanges%2F78%2F2778%2F1;p=ci-management.git Files ending in .map must die die die Change-Id: If2d1da92ba4bd5f37b95b72f12486d1b337ae7d9 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