ia64/xen-unstable

view config/MiniOS.mk @ 17046:7e91007fa727

Make stubdom/Makefile override XEN_OS to MiniOS, and add
config/MiniOS.mk. Add PTHREAD_LIBS to configs (usually holding
-lpthread).

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
author Keir Fraser <keir.fraser@citrix.com>
date Tue Feb 12 15:03:07 2008 +0000 (2008-02-12)
parents
children
line source
1 include $(XEN_ROOT)/config/StdGNU.mk
2 include $(XEN_ROOT)/extras/mini-os/Config.mk
3 CFLAGS += $(DEF_CFLAGS) $(ARCH_CFLAGS)
4 CPPFLAGS += $(DEF_CPPFLAGS) $(ARCH_CPPFLAGS) $(extra_incl)
5 ASFLAGS += $(DEF_ASFLAGS) $(ARCH_ASFLAGS)
6 LDFLAGS += $(DEF_LDFLAGS) $(ARCH_LDFLAGS)
8 # Override settings for this OS
9 PTHREAD_LIBS =