about summary refs log tree commit diff
path: root/config.make.in
diff options
context:
space:
mode:
Diffstat (limited to 'config.make.in')
-rw-r--r--config.make.in1
1 files changed, 1 insertions, 0 deletions
diff --git a/config.make.in b/config.make.in
index 4c989c8335..27d1e6e455 100644
--- a/config.make.in
+++ b/config.make.in
@@ -64,6 +64,7 @@ AR = @AR@
 RANLIB = @RANLIB@
 MAKEINFO = @MAKEINFO@
 AS = $(CC) -c
+MIG = @MIG@
 
 # Installation tools.
 INSTALL = @INSTALL@