Configure script: replace make by $(MAKE)
commit792f05a50ee763a9b9e80867a86b521c1f67607b
authorEduardo Silva <edsiper@gmail.com>
Sat, 17 Jul 2010 14:30:31 +0000 (17 10:30 -0400)
committerEduardo Silva <edsiper@gmail.com>
Sat, 17 Jul 2010 14:30:31 +0000 (17 10:30 -0400)
tree9995fa0d9ffdfb56c4182a803f2e5635ef9bb829
parent12c8cd5d413e1820481af7dd5a102a9b692d9924
Configure script: replace make by $(MAKE)
configure