diff options
| author | schmonz <schmonz@pkgsrc.org> | 2002-07-28 12:31:35 +0000 |
|---|---|---|
| committer | schmonz <schmonz@pkgsrc.org> | 2002-07-28 12:31:35 +0000 |
| commit | 12f234e74000cc5d0aa5960a9a871fb8c2023512 (patch) | |
| tree | 0076979d87d206a088b5a287cba096d743ae336d /benchmarks | |
| parent | 6db1164c68108b170d357e3e620ce12354c282dd (diff) | |
| download | pkgsrc-12f234e74000cc5d0aa5960a9a871fb8c2023512.tar.gz | |
Shuffle logic to ensure that DISTNAME is always set, even on systems
unsupported by this JRE. In such cases, this avoids the error
message "CATEGORIES and DISTNAME are mandatory" and allows the
usual NOT_FOR_PLATFORM message to be displayed. Also, entab a bit.
Diffstat (limited to 'benchmarks')
0 files changed, 0 insertions, 0 deletions