FIX #1378 Add option for a shorter banner on GHCi startup
[ghc-hetmet.git] / includes / ghcconfig.h
1 #ifndef __GHCCONFIG_H__
2 #define __GHCCONFIG_H__
3
4 #include "ghcautoconf.h"
5 #include "ghcplatform.h"
6
7 #endif