diff src/c/Makefile.in @ 1838:6ec243437d12

Autogenerate some files
author Adam Chlipala <adam@chlipala.net>
date Wed, 12 Dec 2012 16:42:15 -0500
parents 6a621a625b04
children 9ef7072ca8f5
line wrap: on
line diff
--- a/src/c/Makefile.in	Wed Dec 12 14:47:06 2012 -0500
+++ b/src/c/Makefile.in	Wed Dec 12 16:42:15 2012 -0500
@@ -154,6 +154,7 @@
 MKDIR_P = @MKDIR_P@
 MLLEX = @MLLEX@
 MLTON = @MLTON@
+MLTONARGS = @MLTONARGS@
 MLYACC = @MLYACC@
 MSHEADER = @MSHEADER@
 NM = @NM@