diff options
author | Bastien Nocera <hadess@hadess.net> | 2019-05-02 16:46:04 +0200 |
---|---|---|
committer | Bastien Nocera <hadess@hadess.net> | 2019-05-02 16:48:57 +0200 |
commit | 0fcb44f742d969c0ea581d584d292ecda885f88e (patch) | |
tree | ab1bc60bd666223837484fc0c22f626cfc9c2f89 | |
parent | cfdb30a18af5558c373b1c52cda4e038412a5423 (diff) | |
download | shared-mime-info-0fcb44f742d969c0ea581d584d292ecda885f88e.tar.gz |
build: Test for duplicated mime-types
-rw-r--r-- | Makefile.am | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index b57c0fa9..74141df7 100644 --- a/Makefile.am +++ b/Makefile.am @@ -132,6 +132,12 @@ else echo "***************************************************************************" ; \ exit 1 ; \ fi + @if test x`grep '<mime-type' $(srcdir)/freedesktop.org.xml.in | tr -d '[:blank:]' | sort | uniq -d` != "x"; then \ + echo "*************************************************************" ; \ + echo "*** Some mime-types are duplicated, fix before committing ***" ; \ + echo "*************************************************************" ; \ + exit 1 ; \ + fi @echo Number of mime-types that might need generic-icon: `grep "mime-type type=" $(srcdir)/freedesktop.org.xml.in | grep -v video/ | grep -v image/ | grep -v text/ | grep -v audio/ | grep -v "octet-stream" | wc -l` ; \ echo Number of mime-types with a generic icon: `grep "generic-icon name=" $(srcdir)/freedesktop.org.xml.in | wc -l` ; endif |