Revision 2e82f6db
ID | 2e82f6dbc0b520205d379bb624234efd70b8a5ff |
Parent | 026a7e5d |
Child | a0384990 |
Use $(MAKE) instead of make
Files
- added
- modified
- copied
- renamed
- deleted
ID | 2e82f6dbc0b520205d379bb624234efd70b8a5ff |
Parent | 026a7e5d |
Child | a0384990 |
Added by Luca Abeni about 11 years ago
Use $(MAKE) instead of make