From 018cb93428c52ce2704a0256a3b3677606e0e3d2 Mon Sep 17 00:00:00 2001 From: Mircho Rodozov Date: Fri, 20 Nov 2020 13:54:06 +0100 Subject: [PATCH] mv WEB to DEPS before deletion and rename packages to package.json --- build-cmssw-ib-with-patch | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/build-cmssw-ib-with-patch b/build-cmssw-ib-with-patch index d80712287fa0..28edffcc246c 100755 --- a/build-cmssw-ib-with-patch +++ b/build-cmssw-ib-with-patch @@ -194,7 +194,9 @@ if [ "${DRY_RUN}" = "" ] ; then echo DATE=`date` rm -rf ${WRKDIR}/tmp PYTHONPATH= $CMSBUILD_CMD ${EX_OPTS} deprecate-local $TOOL_CONF_PACKAGES - rm -rf ${WRKDIR}/WEB + git push miri rename-web-to-deps-and-use-only-package-names + mv ${WRKDIR}/WEB ${WRKDIR}/DEPS + for i in `ls ${WRKDIR}/DEPS/${ARCHITECTURE}`; do mv ${WRKDIR}/DEPS/${ARCHITECTURE}/$i ${WRKDIR}/DEPS/${ARCHITECTURE}/$(echo $i | tr "+" " " | awk '{print $2}').json; done echo DATE=`date` fi fi