make/linux/platform_ia64

Wed, 14 Oct 2020 17:44:48 +0800

author
aoqi
date
Wed, 14 Oct 2020 17:44:48 +0800
changeset 9931
fd44df5e3bc3
parent 0
f90c822e73f8
permissions
-rw-r--r--

Merge

     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