diff options
author | Jason Gross <jgross@mit.edu> | 2012-12-12 14:47:06 -0500 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2012-12-12 14:47:06 -0500 |
commit | d846d2781bf11b34fc7edc5f4c0030d6419f3d2e (patch) | |
tree | abd07b9c5f5d1525e872391534112720c157fc9d /src/config.sml.in | |
parent | 92b7e9f1eda84b05bc50f3052913d33b20e067b7 (diff) |
Add ./configure MLTONARGS option for MLTON arguments
Named MLTONARGS based on CCARGS.
Diffstat (limited to 'src/config.sml.in')
0 files changed, 0 insertions, 0 deletions