diff -r 3ebf16150b2e -r e747d2e26af0 drivers/timers_xeno/Makefile.in
--- a/drivers/timers_xeno/Makefile.in	Tue Apr 03 20:20:27 2007 +0200
+++ b/drivers/timers_xeno/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