From 9b58df70a673dfe5e3ee0342b6f921e1378b76ac Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Fri, 3 May 2013 12:00:05 -0700
Subject: [PATCH] tools: include Makefile.local if present

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 3a710e54b..47f6256e4 100644
--- a/Makefile
+++ b/Makefile
@@ -940,3 +940,4 @@ cleanbin:
 Clean: clean cleanbin cleandocs
 	rm -f TAGS tags
 
+-include Makefile.local