diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-05-04T16·28+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-05-04T16·28+0000 |
| commit | d8a31da1ea418de9c1fb7968b95d74d700a7a54f (patch) | |
| tree | a3b5cda16b56592112d8851d84ac1034eea0e868 /make | |
| parent | 36fb29f8f0317144a0074d7b6689912a4dc40325 (diff) | |
* Use `$(MAKE)' instead of `make' for systems where `make' isn't GNU
make (such as FreeBSD).
Diffstat (limited to 'make')
0 files changed, 0 insertions, 0 deletions