FIX #1378 Add option for a shorter banner on GHCi startup
[ghc-hetmet.git] / includes / config.h
1 #ifndef __CONFIG_H__
2 #define __CONFIG_H__
3
4 #warning config.h is deprecated; please use ghcconfig.h instead
5 #include "ghcconfig.h"
6
7 #endif