diff src/cgi.sml @ 1096:324c9ffe8ff9

Protocol-specific compiler options
author Adam Chlipala <adamc@hcoop.net>
date Sun, 27 Dec 2009 14:25:22 -0500
parents bed675db3aff
children d4cd54a4ea06
line wrap: on
line diff
--- a/src/cgi.sml	Sun Dec 27 13:18:32 2009 -0500
+++ b/src/cgi.sml	Sun Dec 27 14:25:22 2009 -0500
@@ -30,6 +30,7 @@
 open Settings
 
 val () = addProtocol {name = "cgi",
+                      compile = "",
                       linkStatic = clibFile "cgi.o",
                       linkDynamic = "-lurweb_cgi",
                       persistent = false}