From fb86b2e0894c5c51a30dc38cf530e80ce68a710a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 18 Nov 2010 14:22:04 -0500 Subject: Karn Kallio's patch for static mhash linking --- src/config.sig | 1 + 1 file changed, 1 insertion(+) (limited to 'src/config.sig') diff --git a/src/config.sig b/src/config.sig index 90fb72e7..0e8a03c5 100644 --- a/src/config.sig +++ b/src/config.sig @@ -9,4 +9,5 @@ signature CONFIG = sig val libJs : string val gccArgs : string + val libMhash : string end -- cgit v1.2.3