ehmry/genode-ehmry
ehmry/genode-ehmry
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

NOT FOR MASTER "pistachio: build kernel with GCC 6.3"

Browse Source
This commit is contained in:
Christian Helmuth 2019-06-12 15:49:55 +02:00
parent e42814dccb
commit ed62c32ef3
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base-pistachio/src/kernel/pistachio/target.mk
View File

@ -54,7 +54,7 @@ $(KERNEL_BUILD_DIR)/x86-kernel: $(KERNEL_BUILD_DIR)/config/.config
$(VERBOSE_MK)CCFLAGS="$(KERNEL_CCFLAGS)" LDFLAGS="$(LD_MARCH)" \
ASMFLAGS="$(CC_MARCH)" MAKEFLAGS= \
$(MAKE) -s $(VERBOSE_DIR) -C $(KERNEL_BUILD_DIR) \
TOOLPREFIX=$(CROSS_DEV_PREFIX) \
TOOLPREFIX=/usr/local/genode-gcc/bin/genode-x86- \
GCCINSTALLDIR=$(LIBGCC_DIR) \
LIBGCCINC=$(GCCINC_DIR)