update

[l4.git] / kernel / fiasco / src / Makeconf.amd64

diff --git a/kernel/fiasco/src/Makeconf.amd64 b/kernel/fiasco/src/Makeconf.amd64
index 9930c96a3df9198d7644d68e4edb36818c287ed5..8a5a95b1ae4b2bb65b8040bd4686b20e83e5c0bd 100644 (file)
--- a/kernel/fiasco/src/Makeconf.amd64
+++ b/kernel/fiasco/src/Makeconf.amd64
@@ -24,5 +24,4 @@ SHARED_FLAGS                       += $(call CHECKCC,-mno-3dnow,)
 
 ASFLAGS                                += -m64 -mcmodel=kernel
 OFORMAT                                := elf64-x86-64
-LD_EMULATION-SYSTEM-FreeBSD    := elf_x86_64_fbsd
-LD_EMULATION-SYSTEM-default    := elf_x86_64
+LD_EMULATION_CHOICE             := elf_x86_64 elf_x86_64_fbsd