diff options
-rw-r--r-- | .time/_do_not_remove_dir | 0 | ||||
-rw-r--r-- | Makefile | 6 |
2 files changed, 6 insertions, 0 deletions
diff --git a/.time/_do_not_remove_dir b/.time/_do_not_remove_dir new file mode 100644 index 00000000..e69de29b --- /dev/null +++ b/.time/_do_not_remove_dir @@ -27,6 +27,7 @@ all: clean dependencies test sign clean web MXML=$(shell echo *.mxml) SWAMIDXML=$(patsubst swamid-2.0/%.xml,.time/%.time,$(wildcard swamid-2.0/*.xml)) +VALIDATEXML=$(patsubst swamid-2.0/%.xml,.time/%.validate,$(wildcard swamid-2.0/*.xml)) TIMEFILES=$(patsubst %.time,.xml/swamid-2.0/%.time,$(wildcard .time/*.time)) sign: swamid upstream projects @@ -312,3 +313,8 @@ commit: tidy test @echo "Checking for not committed files in swamid-2.0/" ; if git status --porcelain --ignored | awk '{print $$2}' | grep "^swamid-2.0/" | sed 's/^/ /' | grep . ; then echo "Not committed files in swamid-2.0/, aborting" ; exit 1 ; fi @echo ; echo -n "Run 'git push'? [Y/n] " ; read x ; case $$x in "Y"|"y"|"") ;; *) exit 1 ;; esac @git push + +.time/%.validate: swamid-2.0/%.xml + @/var/www/metadata/validate.py prod $< + +validate: $(VALIDATEXML) |