0.9.4.68:
[sbcl.git] / src / runtime / Config.x86-bsd
index b0f7d88..a8f20c0 100644 (file)
@@ -1,3 +1,4 @@
+# -*- makefile -*- for the C-level run-time support for SBCL
 # configuration stuff shared between various *BSD OSes 
 
 # This software is part of the SBCL system. See the README file for
@@ -12,8 +13,7 @@
 ASSEM_SRC = x86-assem.S 
 ARCH_SRC = x86-arch.c
 
-OS_SRC = bsd-os.c os-common.c undefineds.c
-OS_LIBS = -lm # -ldl
+OS_SRC = bsd-os.c undefineds.c x86-bsd-os.c
+OS_LIBS = # -ldl
 
 GC_SRC = gencgc.c
-CFLAGS += -DGENCGC