diff --git a/mk/config.mk.in b/mk/config.mk.in
index 9be5f3f146173739b84f361350efafec09935dab..3bf97e83235e47533e3da0113678ab121dbb470a 100644
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -149,6 +149,10 @@ IncludeTestDirsInBuild=NO
 
 WithGhcHc = @WithGhcHc@
 
+# Variable which is set to the version number of the $(WithGhcHc) we're using.
+# Not currently used, but might come in handy sometime soon.
+#WithGhcHcVersion = $(shell echo `if ( $(WithGhcHc) --version 2>/dev/null >/dev/null ) then $(WithGhcHc) --version 2>&1 | @SedCmd@ -e 's/^.*version [^0-9]*\([.0-9]*\).*/\1/;s/\.//'; else echo unknown; fi; ` )
+
 # Extra ways in which to build the compiler (for example, you might want to
 # build a profiled compiler so you can see where it spends its time)
 GhcCompilerWays=