From 9d80ad16f921c9a78255841394e88fa97fb1291c Mon Sep 17 00:00:00 2001
From: Nicholas Marriott <nicholas.marriott@gmail.com>
Date: Thu, 4 Jun 2015 08:25:39 +0100
Subject: Remove old tools.

---
 tools/check-compat.sh | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 tools/check-compat.sh

(limited to 'tools/check-compat.sh')

diff --git a/tools/check-compat.sh b/tools/check-compat.sh
deleted file mode 100644
index b7603a80..00000000
--- a/tools/check-compat.sh
+++ /dev/null
@@ -1,5 +0,0 @@
-# $Id$
-
-grep "#include" compat.h|while read line; do
-     grep "$line" *.[ch] compat/*.[ch]
-done
-- 
cgit