diff options
| author | Thomas Klausner <thomasklausner@users.sourceforge.net> | 2004-09-08 17:08:31 +0000 |
|---|---|---|
| committer | Thomas Klausner <thomasklausner@users.sourceforge.net> | 2004-09-08 17:08:31 +0000 |
| commit | 9fc6c291749296ee919f24581fb2263045163ae7 (patch) | |
| tree | 223995a6667f2af153668685e938498c546a7407 /debian/rules | |
| parent | 2e142dbeff2525badfbe2e7a4f50d2beba1ef501 (diff) | |
| download | plptools-9fc6c291749296ee919f24581fb2263045163ae7.tar.gz plptools-9fc6c291749296ee919f24581fb2263045163ae7.tar.bz2 plptools-9fc6c291749296ee919f24581fb2263045163ae7.zip | |
Use ${MAKE} instead of make -- very useful if GNU make is gmake.
Diffstat (limited to 'debian/rules')
0 files changed, 0 insertions, 0 deletions