diff options
| author | Philip Hazel <ph10@hermes.cam.ac.uk> | 2005-05-04 10:17:28 +0000 |
|---|---|---|
| committer | Philip Hazel <ph10@hermes.cam.ac.uk> | 2005-05-04 10:17:28 +0000 |
| commit | 9176e9f0046f5b7344bc8fadf09104d8bacc5d9d (patch) | |
| tree | 5f08465cf154b8fb01aa19980245407fecb9edf4 /doc/doc-misc | |
| parent | 4fa565b2edd4307f03c292dc418b02e191bf231d (diff) | |
Pass $(MAKE) to the scripts/Configure-config.h script so that it uses
the same command (e.g. "gmake") that was called externally.
Diffstat (limited to 'doc/doc-misc')
0 files changed, 0 insertions, 0 deletions