make/linux/platform_ia64

Tue, 17 Oct 2017 12:58:25 +0800

author
aoqi
date
Tue, 17 Oct 2017 12:58:25 +0800
changeset 7994
04ff2f6cd0eb
parent 0
f90c822e73f8
permissions
-rw-r--r--

merge

aoqi@0 1 os_family = linux
aoqi@0 2
aoqi@0 3 arch = ia64
aoqi@0 4
aoqi@0 5 os_arch = linux_ia64
aoqi@0 6
aoqi@0 7 lib_arch = ia64
aoqi@0 8
aoqi@0 9 compiler = gcc
aoqi@0 10
aoqi@0 11 gnu_dis_arch = ia64
aoqi@0 12
aoqi@0 13 sysdefs = -DLINUX -D_GNU_SOURCE -DIA64 -DCC_INTERP
aoqi@0 14
aoqi@0 15 mark_style = alignment

mercurial