drivers/timers_unix/Makefile.in
changeset 145 e747d2e26af0
parent 40 ddeeb217ed71
child 658 7758d60e9260
--- a/drivers/timers_unix/Makefile.in	Tue Apr 03 20:20:27 2007 +0200
+++ b/drivers/timers_unix/Makefile.in	Wed Apr 04 13:04:31 2007 +0200
@@ -25,8 +25,6 @@
 OPT_CFLAGS = -O2
 CFLAGS = SUB_OPT_CFLAGS
 PROG_CFLAGS = SUB_PROG_CFLAGS
-LIBS = -lm
-SHAREDLIBOPT = -shared
 OS_NAME = SUB_OS_NAME
 ARCH_NAME = SUB_ARCH_NAME
 PREFIX = SUB_PREFIX