# HG changeset patch # User Rob Landley # Date 1186080338 14400 # Node ID 72ac28634233210c8458a160cd6dacf1b61dc31c # Parent b1f9673118626268dfc3725f27326d119783180b Take advantage of my laptop's core 2 duo. diff -r b1f967311862 -r 72ac28634233 make/make.sh --- a/make/make.sh Thu Aug 02 14:32:16 2007 -0400 +++ b/make/make.sh Thu Aug 02 14:45:38 2007 -0400 @@ -15,12 +15,19 @@ cd ~/linux/hg/linux-2.6 mkdir ~/linux/temp make allnoconfig O=~/linux/temp + +# I have a dual processor laptop, so overlap work here. Generate the xml +# first, then have make htmldocs produce split-up versions in the background +# while a script produces nochunks versions in the foreground. cd ~/linux/temp -make -j 2 htmldocs +make -j 2 xmldocs +make -j 2 htmldocs & cd Documentation/DocBook for i in *.xml do xmlto xhtml-nochunks $i -o xhtml-nochunks done +# Wait for background task to finish before retrieving result +while [ $(jobs | wc -l) -ne 0 ]; do sleep 1; done mv xhtml-nochunks/*.html . rmdir xhtml-nochunks