diff options
| author | Marko Kreen | 2008-04-15 06:24:22 +0000 |
|---|---|---|
| committer | Marko Kreen | 2008-04-15 06:24:22 +0000 |
| commit | 3bb252361d1595e2b882c3fae9602d866a8c553b (patch) | |
| tree | 7484c635259b598dfdbbc576e3726d12cbf5bb4b /python/skytools/scripting.py | |
| parent | d7da0f77316da9e9749980026b375b9788aacdb2 (diff) | |
Use $(MAKE) consistently instead of plain 'make'.
Patch by Pierre-Emmanuel André
Diffstat (limited to 'python/skytools/scripting.py')
0 files changed, 0 insertions, 0 deletions