diff options
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/portbuild/scripts/makeindex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/portbuild/scripts/makeindex b/Tools/portbuild/scripts/makeindex index f287323b1aef..cadd73e867df 100755 --- a/Tools/portbuild/scripts/makeindex +++ b/Tools/portbuild/scripts/makeindex @@ -2,7 +2,7 @@ # usage: $0 branch # -j# to make index -INDEXJOBS=4 +INDEXJOBS=1 usage () { echo "usage: makeindex branch" |