From 4052497ce55e62cfe37a810707907540f12a3b3f Mon Sep 17 00:00:00 2001
From: Moritz Bunkus <moritz@bunkus.org>
Date: Sun, 21 Dec 2014 10:31:45 +0100
Subject: [PATCH] check_ids: move to other directory

---
 {make/linux => tools}/check_ids | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
 rename {make/linux => tools}/check_ids (79%)

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 30767fc..a9090ba 100644
--- 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 )