From d40eb2007b7fea8248108539c2a3acdf31ec5679 Mon Sep 17 00:00:00 2001
From: simonm <unknown>
Date: Fri, 22 Nov 1996 13:10:28 +0000
Subject: [PATCH] [project @ 1996-11-22 13:10:28 by simonm] don't look for
 mk/platform.mk, use mk/platform.mk.in.

---
 configure.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure.in b/configure.in
index 9ff21f66445b..94624cac42b2 100644
--- a/configure.in
+++ b/configure.in
@@ -12,7 +12,7 @@ dnl * INITIAL SETUP, CHOICE OF PLATFORM(S)
 # Do "./configure --help" to see what flags are available.
 # (Better yet, read the documentation!)
 #
-AC_INIT(mk/platform.mk)
+AC_INIT(mk/platform.mk.in)
 
 # -------------------------------------------------------------------------
 # Prepare to generate the following header files
-- 
GitLab