From ea6e369035b0aa84906ff1ff4074ca502e802dea Mon Sep 17 00:00:00 2001 From: Ed Warnicke Date: Fri, 9 Sep 2016 13:36:13 -0700 Subject: [PATCH] Files ending in .map must die die die Change-Id: If2d1da92ba4bd5f37b95b72f12486d1b337ae7d9 Signed-off-by: Ed Warnicke --- jjb/vpp/include-raw-vpp-docs.sh | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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 -- 2.16.6