Move make_xmllists script to tools directory and improve logging
All checks were successful
the build was successful
All checks were successful
the build was successful
This commit is contained in:
parent
3a42fc4668
commit
2568a39396
2
Makefile
2
Makefile
@ -133,4 +133,4 @@ default_xsl:
|
||||
.PHONY: xmllists
|
||||
all: xmllists
|
||||
xmllists: $(SUBDIRS)
|
||||
@build/make_xmllists.sh
|
||||
@tools/make_xmllists.sh
|
||||
|
@ -88,6 +88,8 @@ rm -rf "${tagmaps}"
|
||||
# Update .xmllist files for .sources
|
||||
# -----------------------------------------------------------------------------
|
||||
|
||||
echo "* Updating XML lists"
|
||||
|
||||
all_xml="$(find * -name '*.??.xml' | sed -r 's/\...\.xml$//' | sort -u)"
|
||||
|
||||
for source_file in $(find * -name '*.sources' | sort); do
|
||||
@ -112,7 +114,7 @@ for source_file in $(find * -name '*.sources' | sort); do
|
||||
list_file="$(dirname ${source_file})/.$(basename ${source_file} .sources).xmllist"
|
||||
|
||||
if ! cmp --quiet "/tmp/xmllist-${pid}" "${list_file}"; then
|
||||
echo "* Updating ${list_file}"
|
||||
echo "* Updating ${list_file}"
|
||||
cp "/tmp/xmllist-${pid}" "${list_file}"
|
||||
fi
|
||||
|
||||
@ -133,7 +135,7 @@ for list_file in $(find * -name '.*.xmllist' | sort); do
|
||||
done
|
||||
done
|
||||
if [ "${must_touch}" == "yes" ]; then
|
||||
echo "* Touching ${list_file}"
|
||||
echo "* Touching ${list_file}"
|
||||
touch "${list_file}"
|
||||
fi
|
||||
done
|
Loading…
Reference in New Issue
Block a user