diff --git a/Makefile b/Makefile index 0a06529ba..e75855161 100644 --- a/Makefile +++ b/Makefile @@ -365,6 +365,7 @@ ConfigFilesCHECKED := $(patsubst %.cfg,%.checked,$(ConfigFiles)) %.checked:%.cfg xmllint --noout --relaxng cfg/cppcheck-cfg.rng $< validateCFG: ${ConfigFilesCHECKED} + xmllint --noout cfg/cppcheck-cfg.rng # Validation of platforms files: PlatformFiles := $(wildcard platforms/*.xml) diff --git a/tools/dmake.cpp b/tools/dmake.cpp index d786cee48..b6050e1eb 100644 --- a/tools/dmake.cpp +++ b/tools/dmake.cpp @@ -468,7 +468,8 @@ int main(int argc, char **argv) fout << ".PHONY: validateCFG\n"; fout << "%.checked:%.cfg\n"; fout << "\txmllint --noout --relaxng cfg/cppcheck-cfg.rng $<\n"; - fout << "validateCFG: ${ConfigFilesCHECKED}\n\n"; + fout << "validateCFG: ${ConfigFilesCHECKED}\n"; + fout << "\txmllint --noout cfg/cppcheck-cfg.rng\n\n"; fout << "# Validation of platforms files:\n"; fout << "PlatformFiles := $(wildcard platforms/*.xml)\n"; fout << "PlatformFilesCHECKED := $(patsubst %.xml,%.checked,$(PlatformFiles))\n";