diff options
Diffstat (limited to 'Tools/portbuild/scripts/makeindex')
| -rwxr-xr-x | Tools/portbuild/scripts/makeindex | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Tools/portbuild/scripts/makeindex b/Tools/portbuild/scripts/makeindex index 0635357158e2..85f96bcac637 100755 --- a/Tools/portbuild/scripts/makeindex +++ b/Tools/portbuild/scripts/makeindex @@ -10,6 +10,9 @@ export INDEX_QUIET=1 # Concurrency of index build export INDEX_JOBS=6 +# For debugging purposes only +#export INDEX_VERBOSE=1 + pb=/var/portbuild usage () { |