diff options
| author | Peter Eisentraut | 2000-11-06 18:18:22 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2000-11-06 18:18:22 +0000 |
| commit | 6f2f1690156d4815a40977f900f098af4f745086 (patch) | |
| tree | 266125dd875671dab5ebe45c9574651102f3a19f /src/tutorial | |
| parent | db631de531dd13f3aef01782d5440284b8473d81 (diff) | |
Fix GNU make detection.
(The test 'make --version' with FreeBSD make (and potentially others)
would just reinvoke make on the same Makefile, resulting in an infinite
loop.)
Diffstat (limited to 'src/tutorial')
0 files changed, 0 insertions, 0 deletions