From 4b03ceaaefd626e125f24fdb676a92ca042ff8d7 Mon Sep 17 00:00:00 2001 From: Ed Warnicke Date: Fri, 9 Sep 2016 13:34:24 -0700 Subject: [PATCH] .map files must die die die Change-Id: I23c7cd42e84e8c75898a0ff42041c62ded2ddc68 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