Index: /trunk/source/lisp-kernel/linuxx8632/Makefile
===================================================================
--- /trunk/source/lisp-kernel/linuxx8632/Makefile	(revision 13638)
+++ /trunk/source/lisp-kernel/linuxx8632/Makefile	(revision 13639)
@@ -27,5 +27,5 @@
 # however.
 WFORMAT = -Wno-format
-PLATFORM_H = platform-darwinx8632.h
+PLATFORM_H = platform-linuxx8632.h
 
 # If the linker supports a "--hash-style=" option, use traditional