diff options
author | 2004-02-27 17:46:17 +0000 | |
---|---|---|
committer | 2004-02-27 17:46:17 +0000 | |
commit | 9223a7c6ff8aca5d91af8c0b2c42946612a07bb5 (patch) | |
tree | 7653d2e8b4326b0375b65f049ccd7fa14a1d97c6 /admin | |
parent | final changes (diff) | |
download | gentoo-9223a7c6ff8aca5d91af8c0b2c42946612a07bb5.tar.gz gentoo-9223a7c6ff8aca5d91af8c0b2c42946612a07bb5.tar.bz2 gentoo-9223a7c6ff8aca5d91af8c0b2c42946612a07bb5.zip |
Our script for a pre-commit check of proper XML
Diffstat (limited to 'admin')
-rw-r--r-- | admin/cvs.gentoo.org/conf/checkxml.pl | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/admin/cvs.gentoo.org/conf/checkxml.pl b/admin/cvs.gentoo.org/conf/checkxml.pl new file mode 100644 index 0000000000..28bbd4195d --- /dev/null +++ b/admin/cvs.gentoo.org/conf/checkxml.pl @@ -0,0 +1,10 @@ +#!/usr/bin/perl +print "XML-QA-checker called. If you have troubles,\\ contact pylon\@gentoo.org or swift\@gentoo.org\n"; +foreach ( @ARGV ) { + if ( $_ =~ /\.xml$/ and -e $_ ) { + print "Checking $_ ... \n"; + unless ( system( "XML_CATALOG_FILES=\"/etc/xml/guidexml\" xmllint --valid --noout $_" ) == 0 ) { + exit(1); + } + } +} |