comparison src/sources @ 1856:3683d1a8c1c8

Add Sigcheck phase to avoid issues with signatures in global initializers
author Adam Chlipala <adam@chlipala.net>
date Sat, 15 Jun 2013 08:18:47 -0400
parents 38297294cf98
children 0d2fdc2cc46c
comparison
equal deleted inserted replaced
1855:0480b8f29a47 1856:3683d1a8c1c8
198 pathcheck.sml 198 pathcheck.sml
199 199
200 sidecheck.sig 200 sidecheck.sig
201 sidecheck.sml 201 sidecheck.sml
202 202
203 sigcheck.sig
204 sigcheck.sml
205
203 cjr.sml 206 cjr.sml
204 207
205 postgres.sig 208 postgres.sig
206 postgres.sml 209 postgres.sml
207 210