*** empty log message ***

diff --git a/tools/Makefile b/tools/Makefile
index 39d6861cc74b96320609d280a0517644113f897e..94811ce99eb3acd05de5b8123f0a36fdde835926 100755 (executable)
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -71,7 +71,7 @@ image_small:  includes
 
 # rebuild the program or system libraries
 includes:
-#      cd ../include && $(MAKE) install
+       cd ../include && $(MAKE) install
 
 depend: includes
        cd ../ && $(MAKE) depend