check-umids: new tool to check uniqueness of umids

diff --git a/Makefile b/Makefile
index 3e4be601d07085ce0be9c1ffe298faaa8a3d59b1..42753b0bbf5d076d38ad7fb7d3a363b1202e5da8 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -178,6 +178,8 @@ endif
 
 pyflakes:
        $(PYTHON) -OOu `which pyflakes` src/allmydata |sort |uniq
+check-umids:
+       $(PYTHON) misc/coding_tools/check-umids.py `find src/allmydata -name '*.py'`
 
 count-lines:
        @echo -n "files: "