From 81066717b7e07ef5f3678fe0b8c7e56fad1f3de9 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Fri, 28 Jan 2005 14:01:08 +0000
Subject: [PATCH] [project @ 2005-01-28 14:01:08 by simonmar] Here's a file I
 forgot to add.

NB. ghcconfig.h is now a *source file*.  If you're using a linked
build tree, please remove it from ghc/includes and re-link (in fact,
you probabaly need a make clean in ghc/includes at least).
---
 ghc/includes/ghcconfig.h |    7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 ghc/includes/ghcconfig.h

diff --git a/ghc/includes/ghcconfig.h b/ghc/includes/ghcconfig.h
new file mode 100644
index 0000000..5f10e92
--- /dev/null
+++ b/ghc/includes/ghcconfig.h
@@ -0,0 +1,7 @@
+#ifndef __GHCCONFIG_H__
+#define __GHCCONFIG_H__
+
+#include "ghcautoconf.h"
+#include "ghcplatform.h"
+
+#endif
-- 
1.7.10.4