diff options
Diffstat (limited to 'script')
| -rwxr-xr-x | script/find_src.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/script/find_src.sh b/script/find_src.sh index 3773fc9..511642b 100755 --- a/script/find_src.sh +++ b/script/find_src.sh @@ -15,7 +15,6 @@ fi SRC_DIR=src IGNORE_FIND_ARGS=`sed 's/.*/-not -path "&"/' $IGNORE_FILE | paste -sd " " -` -IGNORE_FIND_ARGS="$IGNORE_FIND_ARGS -not -name \"*inter*\"" sh -c "find $SRC_DIR $IGNORE_FIND_ARGS -name \"*.c\"" # find $SRC_DIR $IGNORE_FIND_ARGS -name "*.c" |