mirror of
https://github.com/gnustep/tools-make.git
synced 2025-04-23 06:10:50 +00:00
Speed up in filtering files
git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/tools/make/trunk@8682 72102866-910b-0410-8b05-ffd578937521
This commit is contained in:
parent
a9a8ba61a7
commit
3bb5b73f94
1 changed files with 6 additions and 4 deletions
|
@ -46,11 +46,13 @@ make debug=yes \
|
|||
# `-v' inverts the matching, so lines which do not match are outputted
|
||||
#
|
||||
mv file-list-debug file-list.tmp
|
||||
grep -f file-list -v -x file-list.tmp >> file-list-debug.tmp
|
||||
rm -f file-list.tmp
|
||||
echo "%attr (-, root, root)" > file-list-debug
|
||||
cat file-list-debug.tmp >> file-list-debug
|
||||
for file in `cat file-list`; do
|
||||
grep -v -x $file file-list.tmp >> file-list-debug.tmp
|
||||
mv file-list-debug.tmp file-list.tmp
|
||||
done
|
||||
|
||||
rm -f file-list-debug.tmp
|
||||
mv file-list.tmp file-list-debug
|
||||
|
||||
#
|
||||
# Clean commands
|
||||
|
|
Loading…
Reference in a new issue