Use $(MAKE) instead of 'make' and 'git *' instead of 'git-*'
authorJonas Fonseca <fonseca@diku.dk>
Wed, 20 Jun 2007 07:04:00 +0000 (09:04 +0200)
committerJonas Fonseca <fonseca@diku.dk>
Wed, 20 Jun 2007 07:04:00 +0000 (09:04 +0200)
commit0e9f95f4aa7f234efd39c46ba4ba4c84151bc015
treed4eeeeff8aacf4f58ee7b1ee78dbf4eebd62b614
parent421ab13a2aa652d6b07ecc1a270a8b1ce5be451d
Use $(MAKE) instead of 'make' and 'git *' instead of 'git-*'
Makefile