diff options
Diffstat (limited to 'Tools/portbuild/scripts/makeindex')
| -rwxr-xr-x | Tools/portbuild/scripts/makeindex | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/Tools/portbuild/scripts/makeindex b/Tools/portbuild/scripts/makeindex index 8534e29be8bc..be3bb1810da4 100755 --- a/Tools/portbuild/scripts/makeindex +++ b/Tools/portbuild/scripts/makeindex @@ -1,8 +1,8 @@ #!/bin/sh # usage: $0 branch -# -j# to make index -INDEXJOBS=1 +#### -j# to make index +###INDEXJOBS=1 usage () { echo "usage: makeindex branch" @@ -27,14 +27,14 @@ case "x$1" in x4) branch=4 export PORTOBJFORMAT=elf - # export OSREL=4.0 - # export OSVERSION=400018 + # export OSREL=4.2 + # export OSVERSION=420001 ;; x5) branch=5 export PORTOBJFORMAT=elf export OSREL=5.0 - export OSVERSION=500011 + export OSVERSION=500017 ;; *) usage @@ -59,7 +59,7 @@ export PARALLEL_PACKAGE_BUILD=t #export NO_RESTRICTED=t #export FOR_CDROM=t #export INDEX_NOSORT=t -make -j${INDEXJOBS} index +make index # remove extra spaces in dependency list -- this could cause problems sed -e 's/ */ /g' -e 's/| */|/g' -e 's/ *|/|/g' INDEX > INDEX.tmp mv -f INDEX.tmp INDEX |