From b773217b54bcb8cdc9d9ee811d36518a02c9bfa6 Mon Sep 17 00:00:00 2001 From: Benjamin Dauvergne Date: Sat, 12 Jun 2010 00:43:31 +0000 Subject: [PATCH] Tools: add check-makefile.sh script to tools --- tools/check-makefile.sh | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100755 tools/check-makefile.sh diff --git a/tools/check-makefile.sh b/tools/check-makefile.sh new file mode 100755 index 00000000..84725a23 --- /dev/null +++ b/tools/check-makefile.sh @@ -0,0 +1,14 @@ +#!/bin/bash + +echo Check makefiles for missing .c or .h files + +cd `dirname $0`/.. + +for i in `git ls-files *.c *.h`; do + pushd `dirname $i` >/dev/null + f=`basename $i` + if ! grep -q $f Makefile.am; then + echo $i + fi + popd >/dev/null +done