diff options
author | Martin Liska <mliska@suse.cz> | 2022-02-03 15:49:43 +0100 |
---|---|---|
committer | Martin Liska <mliska@suse.cz> | 2022-02-03 18:45:06 +0100 |
commit | c7d0d03a6bfbd09dccaeaa0ed6c2e072c86e4792 (patch) | |
tree | b5e72c040731e55b44f4f8f8ae502ed5e570107e /fixincludes | |
parent | 48bd780ee327c9ae6ffc0641e73cc1f4939fb204 (diff) | |
download | gcc-c7d0d03a6bfbd09dccaeaa0ed6c2e072c86e4792.zip gcc-c7d0d03a6bfbd09dccaeaa0ed6c2e072c86e4792.tar.gz gcc-c7d0d03a6bfbd09dccaeaa0ed6c2e072c86e4792.tar.bz2 |
Speed up fixincludes.
In my case:
$ rm ./stmp-fixinc ; time make -j16
takes 17 seconds, where I can reduce it easily with the suggested
change. Then I get to 11.2 seconds.
The scripts searches ~2500 folders in my case with total 20K header
files.
fixincludes/ChangeLog:
* fixinc.in: Use mkdir -p rather that a loop.
Diffstat (limited to 'fixincludes')
-rwxr-xr-x | fixincludes/fixinc.in | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/fixincludes/fixinc.in b/fixincludes/fixinc.in index de5a37f..0c30664 100755 --- a/fixincludes/fixinc.in +++ b/fixincludes/fixinc.in @@ -258,12 +258,10 @@ then echo "All directories (including links to directories):" echo $all_dirs fi -for file in $all_dirs; do - rm -rf $LIB/$file - if [ ! -d $LIB/$file ] - then mkdir $LIB/$file - fi -done +cd $LIB +echo "$all_dirs" | xargs mkdir -p +cd .. + mkdir $LIB/root # # # # # # # # # # # # # # # # # # # # # |