diff --git a/platform/win32/Makefile.win32 b/platform/win32/Makefile.win32
index aad28ba32..cddb7c151 100644
--- a/platform/win32/Makefile.win32
+++ b/platform/win32/Makefile.win32
@@ -30,13 +30,9 @@
#
# Author: Oliver Schmidt
#
-# $Id: Makefile.win32,v 1.14 2008/03/04 22:55:54 oliverschmidt Exp $
+# $Id: Makefile.win32,v 1.15 2008/05/22 19:45:47 oliverschmidt Exp $
#
-ifndef CONTIKI
- ${error CONTIKI not defined! You must specify where CONTIKI resides!}
-endif
-
TARGET_LIBFILES = /lib/w32api/libws2_32.a /lib/w32api/libiphlpapi.a
CONTIKI_TARGET_DIRS = . cfs ctk loader