diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-05-18T09·45+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-05-18T09·45+0000 |
| commit | 1d08093b4894e4ded9eaf591a2547a74d33e1bfb (patch) | |
| tree | 51e523c106e05ca4a55674d5ac8129b8204dd392 /scripts | |
| parent | 8e9fd57ef9aa47214418212916e54c5644721335 (diff) | |
* Go back to the old way of generating the system name, and allow it
to be specified in configure (using `--with-system=SYSTEM').
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions