diff options
Diffstat (limited to 'script/find_src.sh')
| -rwxr-xr-x | script/find_src.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/find_src.sh b/script/find_src.sh index 1d645a1..3773fc9 100755 --- a/script/find_src.sh +++ b/script/find_src.sh @@ -14,7 +14,7 @@ fi SRC_DIR=src -IGNORE_FIND_ARGS=`sed 's/.*/-not -path "&"/' $IGNORE_FILE | paste -sd " "` +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\"" |