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 | ddeb9c57ed9b292082503aa10ebc942500ac8950 (patch) | |
| tree | abd07b9c5f5d1525e872391534112720c157fc9d /src/c | |
| parent | 87d2e717c0d164759fce1df7d89f25fda8434586 (diff) | |
Add ./configure MLTONARGS option for MLTON arguments
Named MLTONARGS based on CCARGS.
Diffstat (limited to 'src/c')
0 files changed, 0 insertions, 0 deletions