diff options
author | 2012-12-12 14:47:06 -0500 | |
---|---|---|
committer | 2012-12-12 14:47:06 -0500 | |
commit | ddeb9c57ed9b292082503aa10ebc942500ac8950 (patch) | |
tree | abd07b9c5f5d1525e872391534112720c157fc9d /configure | |
parent | 87d2e717c0d164759fce1df7d89f25fda8434586 (diff) |
Add ./configure MLTONARGS option for MLTON arguments
Named MLTONARGS based on CCARGS.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions