check_ids: move to other directory

diff --git a/make/linux/check_ids b/tools/check_ids
similarity index 79%
rename from make/linux/check_ids
rename to tools/check_ids
index 30767fc4f4adab32fc4bb70f9c0451f4ebab6776..a9090ba7d4cb829313c8019025d5e99b656e6819 100644 (file)
--- a/make/linux/check_ids
+++ b/tools/check_ids
@@ -4,7 +4,7 @@
 # source files.
 
 echo 'Duplicate IDs:'
-grep -h '^EbmlId.*_TheId' ../../src/*cpp | \
+grep -h '^EbmlId.*_TheId' src/*cpp | \
   sed -e 's/TheId/TheId /' | \
   awk '{ print $3 }' | \
   sed -e 's/(//' -e 's/,//' | \
@@ -13,6 +13,6 @@ grep -h '^EbmlId.*_TheId' ../../src/*cpp | \
 ( while read id ; do
     echo ''
     echo ${id}:
-    grep -i $id ../../src/*cpp
+    grep -i $id src/*cpp
   done )