Files
mercury/scripts
Julien Fischer 1f3812e898 Replace an old hack in the ml script.
Instead of trying to determine the type of the C compiler in the ml script
based on the name of the C compiler executable, use the C compiler type
determined by the configure script.

scripts/ml.in:
    As above.
2020-01-23 20:03:39 +11:00
..
2020-01-23 20:03:39 +11:00
2019-06-18 18:32:16 +02:00
2016-10-20 23:24:21 +11:00
2019-05-28 15:54:45 +10:00
2019-05-28 15:54:45 +10:00