| changeset 14355 | dbff70aaaac3 |
| parent 14280 | 7d8ad47b2dbf |
| child 15059 | 4131faaca93d |
| 14354:20d8f4e5a30b | 14355:dbff70aaaac3 |
|---|---|
58 SORT="@SORT@" |
58 SORT="@SORT@" |
59 STAT="@STAT@" |
59 STAT="@STAT@" |
60 STRIP="@POST_STRIP_CMD@" |
60 STRIP="@POST_STRIP_CMD@" |
61 TEE="@TEE@" |
61 TEE="@TEE@" |
62 UNIQ="@UNIQ@" |
62 UNIQ="@UNIQ@" |
63 UNPACK200="@FIXPATH@ @BOOT_JDK@/bin/unpack200" |
|
63 UNZIP="@UNZIP@" |
64 UNZIP="@UNZIP@" |
64 |
65 |
65 SRC_ROOT="@SRC_ROOT@" |
66 SRC_ROOT="@SRC_ROOT@" |
66 |
67 |
67 if [ "$OPENJDK_TARGET_OS" = "windows" ]; then |
68 if [ "$OPENJDK_TARGET_OS" = "windows" ]; then |