0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix a bug in the header_times script

Browse source
This commit is contained in:
Chris Beck 2014-11-13 11:47:03 -05:00
parent c64a1925df
commit e93a974277
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
utils/headers/header_times.sh
View file

@ -25,7 +25,10 @@ if [[ "$#" -ne 1 ]]; then
exit 1;
fi
rm -r headers-annotated
if [ -d headers-annotated ]; then
rm -r headers-annotated
fi
cp -fR headers headers-annotated
cd headers-annotated/
for file in `find . -name "*.cpp" -type f -print0 | xargs -0`; do