Merge pull request #291 from larsmans/fix-makefile-prefix
authorZhang Xianyi <traits.zhang@gmail.com>
Wed, 28 Aug 2013 16:26:16 +0000 (09:26 -0700)
committerZhang Xianyi <traits.zhang@gmail.com>
Wed, 28 Aug 2013 16:26:16 +0000 (09:26 -0700)
fix default prefix handling in makefiles

1  2 
Makefile

diff --cc Makefile
Simple merge