tools: include Makefile.local if present

This commit is contained in:
Simon Michael 2013-05-03 12:00:05 -07:00
parent a89ed22f4a
commit 9b58df70a6

View File

@ -940,3 +940,4 @@ cleanbin:
Clean: clean cleanbin cleandocs
rm -f TAGS tags
-include Makefile.local