mv WEB to DEPS before deletion and rename packages to package.json

cms-sw · Nov 20, 2020 · 018cb93 · 018cb93
1 parent 23cbaeb
commit 018cb93
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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