mirror of
https://github.com/openjdk/jdk.git
synced 2025-09-21 11:34:38 +02:00
0d27a8639f
Remove old private plugin interface, simplify, rework old plugin to use unchanged Gnu sources Reviewed-by: kvn, rasbold
15 lines
177 B
Text
15 lines
177 B
Text
os_family = linux
|
|
|
|
arch = x86
|
|
|
|
arch_model = x86_64
|
|
|
|
os_arch = linux_x86
|
|
|
|
os_arch_model = linux_x86_64
|
|
|
|
lib_arch = amd64
|
|
|
|
compiler = gcc
|
|
|
|
sysdefs = -DLINUX -D_GNU_SOURCE -DAMD64
|