make/linux/platform_ia64

Thu, 16 Oct 2014 20:20:17 -0400

author
mikael
date
Thu, 16 Oct 2014 20:20:17 -0400
changeset 7270
8585e75970c7
parent 0
f90c822e73f8
permissions
-rw-r--r--

8049071: Add jtreg jobs to JPRT for hotspot
Reviewed-by: dholmes, iveresov

     1 os_family = linux
     3 arch = ia64
     5 os_arch = linux_ia64
     7 lib_arch = ia64
     9 compiler = gcc
    11 gnu_dis_arch = ia64
    13 sysdefs = -DLINUX -D_GNU_SOURCE -DIA64 -DCC_INTERP
    15 mark_style = alignment

mercurial