diff options
| author | Kristian Høgsberg <krh@bitplanet.net> | 2014-02-18 14:52:00 -0800 |
|---|---|---|
| committer | Kristian Høgsberg <krh@bitplanet.net> | 2014-02-18 14:52:02 -0800 |
| commit | 6292fe2af6a45decb7fd39090e74dd87bc4e22b2 (patch) | |
| tree | 2eebe60207fe2fa7a8ff2b120bbd31152dcb6c91 /protocol | |
| parent | 52a77fca573705b6ac9b0e23747feea83740ab2f (diff) | |
build: Stop using xmllint to validate protocol files
Same reason as commit cd31275f28b0a04d2ec5426dc81e875197b47e52 from weston:
The scanner needs to be good enough. If it crashes or fails to report
invalid input, that needs to get fixed.
Diffstat (limited to 'protocol')
| -rw-r--r-- | protocol/Makefile.am | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/protocol/Makefile.am b/protocol/Makefile.am index e8b6290..9dca324 100644 --- a/protocol/Makefile.am +++ b/protocol/Makefile.am @@ -1,14 +1 @@ dist_pkgdata_DATA = wayland.xml wayland.dtd - -if HAVE_XMLLINT -.PHONY: validate - -.%.xml.valid: %.xml - $(AM_V_GEN)$(XMLLINT) --noout --dtdvalid $(srcdir)/wayland.dtd $^ > $@ - -validate: .wayland.xml.valid - -all-local: validate - -CLEANFILES = .wayland.xml.valid -endif |