diff options
Diffstat (limited to 'Tools/portbuild/scripts')
| -rwxr-xr-x | Tools/portbuild/scripts/makeduds | 7 | ||||
| -rwxr-xr-x | Tools/portbuild/scripts/makeindex | 8 |
2 files changed, 15 insertions, 0 deletions
diff --git a/Tools/portbuild/scripts/makeduds b/Tools/portbuild/scripts/makeduds index eedf0db6cf60..0cd72ab77721 100755 --- a/Tools/portbuild/scripts/makeduds +++ b/Tools/portbuild/scripts/makeduds @@ -44,6 +44,13 @@ esac export PORTSDIR=$(pwd) duds=../../${branch}/duds +if [ "x$NODUMMY" = "x" ]; then + unset XFREE86_VERSION + unset MOTIF_OPEN +else + export XFREE86_VERSION=4 + export MOTIF_OPEN=t +fi unset DISPLAY export BATCH=t export HAVE_MOTIF=t diff --git a/Tools/portbuild/scripts/makeindex b/Tools/portbuild/scripts/makeindex index f5ca0b0e43df..8534e29be8bc 100755 --- a/Tools/portbuild/scripts/makeindex +++ b/Tools/portbuild/scripts/makeindex @@ -43,6 +43,14 @@ esac export PORTSDIR=$(pwd) +if [ "x$NODUMMY" = "x" ]; then + unset XFREE86_VERSION + unset MOTIF_OPEN +else + export XFREE86_VERSION=4 + export MOTIF_OPEN=t +fi + unset DISPLAY export BATCH=t export HAVE_MOTIF=t |