diff --git a/src/config.mk.in b/src/config.mk.in index 1a44f80c9..e8a8ab567 100644 --- a/src/config.mk.in +++ b/src/config.mk.in @@ -10,6 +10,7 @@ libdir = @libdir@ datadir = @datadir@ host = @host@ +build = @build@ GHCFLAGS = @GHCFLAGS@ CPPFLAGS = @CPPFLAGS@