1 files changed, 0 insertions, 20 deletions
diff --git a/script/find_src.sh b/script/find_src.sh
deleted file mode 100755
index 511642b..0000000
--- a/script/find_src.sh
+++ /dev/null
@@ -1,20 +0,0 @@
-#!bin/sh
-
-if [ $# -ne 1 ]; then
-	echo "Usage $0 ignore_file"
-	exit 1
-fi
-
-IGNORE_FILE=$1
-
-if [ ! -e $IGNORE_FILE ]; then
-	echo "Ignore file doesnt exist"
-	exit 1
-fi
-
-SRC_DIR=src
-
-IGNORE_FIND_ARGS=`sed 's/.*/-not -path "&"/' $IGNORE_FILE | paste -sd " " -`
-
-sh -c "find $SRC_DIR $IGNORE_FIND_ARGS -name \"*.c\""
-# find $SRC_DIR $IGNORE_FIND_ARGS -name "*.c"