corba/make/jprt.properties
author tschatzl
Wed, 15 May 2013 11:05:09 +0200
changeset 17392 2f967c0e4246
parent 11295 ba71ba667ef7
child 20031 663d34cd5856
permissions -rw-r--r--
6843347: Boundary values in some public GC options cause crashes Summary: Setting some public integer options to specific values causes crashes or undefined GC behavior. This patchset adds the necessary argument checking for these options. Reviewed-by: jmasa, brutisso
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
4
02bb8761fcce Initial load
duke
parents:
diff changeset
     1
#
6331
9101ee97a1bd 6982946: Change make/jprt.properties to defer to JPRT itself for jdk platform list
ohair
parents: 5555
diff changeset
     2
# Copyright (c) 2006, 2010, Oracle and/or its affiliates. All rights reserved.
4
02bb8761fcce Initial load
duke
parents:
diff changeset
     3
# DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
02bb8761fcce Initial load
duke
parents:
diff changeset
     4
#
02bb8761fcce Initial load
duke
parents:
diff changeset
     5
# This code is free software; you can redistribute it and/or modify it
02bb8761fcce Initial load
duke
parents:
diff changeset
     6
# under the terms of the GNU General Public License version 2 only, as
5555
b2b5ed3f0d0d 6943119: Rebrand source copyright notices
ohair
parents: 3871
diff changeset
     7
# published by the Free Software Foundation.  Oracle designates this
4
02bb8761fcce Initial load
duke
parents:
diff changeset
     8
# particular file as subject to the "Classpath" exception as provided
5555
b2b5ed3f0d0d 6943119: Rebrand source copyright notices
ohair
parents: 3871
diff changeset
     9
# by Oracle in the LICENSE file that accompanied this code.
4
02bb8761fcce Initial load
duke
parents:
diff changeset
    10
#
02bb8761fcce Initial load
duke
parents:
diff changeset
    11
# This code is distributed in the hope that it will be useful, but WITHOUT
02bb8761fcce Initial load
duke
parents:
diff changeset
    12
# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
02bb8761fcce Initial load
duke
parents:
diff changeset
    13
# FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
02bb8761fcce Initial load
duke
parents:
diff changeset
    14
# version 2 for more details (a copy is included in the LICENSE file that
02bb8761fcce Initial load
duke
parents:
diff changeset
    15
# accompanied this code).
02bb8761fcce Initial load
duke
parents:
diff changeset
    16
#
02bb8761fcce Initial load
duke
parents:
diff changeset
    17
# You should have received a copy of the GNU General Public License version
02bb8761fcce Initial load
duke
parents:
diff changeset
    18
# 2 along with this work; if not, write to the Free Software Foundation,
02bb8761fcce Initial load
duke
parents:
diff changeset
    19
# Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
02bb8761fcce Initial load
duke
parents:
diff changeset
    20
#
5555
b2b5ed3f0d0d 6943119: Rebrand source copyright notices
ohair
parents: 3871
diff changeset
    21
# Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
b2b5ed3f0d0d 6943119: Rebrand source copyright notices
ohair
parents: 3871
diff changeset
    22
# or visit www.oracle.com if you need additional information or have any
b2b5ed3f0d0d 6943119: Rebrand source copyright notices
ohair
parents: 3871
diff changeset
    23
# questions.
4
02bb8761fcce Initial load
duke
parents:
diff changeset
    24
#
02bb8761fcce Initial load
duke
parents:
diff changeset
    25
02bb8761fcce Initial load
duke
parents:
diff changeset
    26
# Properties for jprt
02bb8761fcce Initial load
duke
parents:
diff changeset
    27
11295
ba71ba667ef7 7119829: Adjust default jprt testing configuration
ohair
parents: 10159
diff changeset
    28
# Locked down to jdk8
10159
a3a3c58b415c 7069993: Adjust make/jprt.properties file for jdk8
ohair
parents: 6331
diff changeset
    29
jprt.tools.default.release=jdk8
4
02bb8761fcce Initial load
duke
parents:
diff changeset
    30
6331
9101ee97a1bd 6982946: Change make/jprt.properties to defer to JPRT itself for jdk platform list
ohair
parents: 5555
diff changeset
    31
# The different build flavors we want, we override here so we just get these 2
4
02bb8761fcce Initial load
duke
parents:
diff changeset
    32
jprt.build.flavors=product,fastdebug
02bb8761fcce Initial load
duke
parents:
diff changeset
    33
10159
a3a3c58b415c 7069993: Adjust make/jprt.properties file for jdk8
ohair
parents: 6331
diff changeset
    34
# Standard list of jprt build targets for this source tree
11295
ba71ba667ef7 7119829: Adjust default jprt testing configuration
ohair
parents: 10159
diff changeset
    35
jprt.build.targets=                                             \
ba71ba667ef7 7119829: Adjust default jprt testing configuration
ohair
parents: 10159
diff changeset
    36
    solaris_sparc_5.10-{product|fastdebug},                     \
ba71ba667ef7 7119829: Adjust default jprt testing configuration
ohair
parents: 10159
diff changeset
    37
    solaris_sparcv9_5.10-{product|fastdebug},                   \
ba71ba667ef7 7119829: Adjust default jprt testing configuration
ohair
parents: 10159
diff changeset
    38
    solaris_i586_5.10-{product|fastdebug},                      \
ba71ba667ef7 7119829: Adjust default jprt testing configuration
ohair
parents: 10159
diff changeset
    39
    solaris_x64_5.10-{product|fastdebug},                       \
ba71ba667ef7 7119829: Adjust default jprt testing configuration
ohair
parents: 10159
diff changeset
    40
    linux_i586_2.6-{product|fastdebug},                         \
ba71ba667ef7 7119829: Adjust default jprt testing configuration
ohair
parents: 10159
diff changeset
    41
    linux_x64_2.6-{product|fastdebug},                          \
ba71ba667ef7 7119829: Adjust default jprt testing configuration
ohair
parents: 10159
diff changeset
    42
    windows_i586_5.1-{product|fastdebug},                       \
10159
a3a3c58b415c 7069993: Adjust make/jprt.properties file for jdk8
ohair
parents: 6331
diff changeset
    43
    windows_x64_5.2-{product|fastdebug}
a3a3c58b415c 7069993: Adjust make/jprt.properties file for jdk8
ohair
parents: 6331
diff changeset
    44
6331
9101ee97a1bd 6982946: Change make/jprt.properties to defer to JPRT itself for jdk platform list
ohair
parents: 5555
diff changeset
    45
# Directories to be excluded from the source bundles
9101ee97a1bd 6982946: Change make/jprt.properties to defer to JPRT itself for jdk platform list
ohair
parents: 5555
diff changeset
    46
jprt.bundle.exclude.src.dirs=build dist webrev
4
02bb8761fcce Initial load
duke
parents:
diff changeset
    47