diff --git a/tools/Makefile b/tools/Makefile
index 8b0f96f..77efcc7 100644
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -78,4 +78,5 @@ dist:
 clean:
 	rm -f *.o $(PROGRAMS)
 
+include $(TOP)/../config.mk
 include $(TOP)/../tools.mk