Format platform files using xmllint

2018-02-16 09:08:38 +01:00 · 2018-02-16 09:08:38 +01:00 · e4fd389075
parent 65a19e7802
commit e4fd389075
2 changed files with 54 additions and 49 deletions
--- a/5
+++ b/5
@ -48,3 +48,8 @@ do
   xmllint --format -o ${CFGFILE}_ ${CFGFILE}
   mv -f ${CFGFILE}_ ${CFGFILE}
 done
+for PLATFORMFILE in platforms/*.xml
+do
+   xmllint --format -o ${PLATFORMFILE}_ ${PLATFORMFILE}
+   mv -f ${PLATFORMFILE}_ ${PLATFORMFILE}
+done