targets/toolchain_makefile.py
changeset 1758 845ca626db09
parent 1747 6046ffa2280f
child 1773 38fde37c3766
--- a/targets/toolchain_makefile.py	Wed Aug 16 17:27:58 2017 +0300
+++ b/targets/toolchain_makefile.py	Thu Aug 17 09:55:39 2017 +0300
@@ -30,7 +30,7 @@
 
 import time
 
-includes_re =  re.compile('\s*#include\s*["<]([^">]*)[">].*')
+includes_re = re.compile('\s*#include\s*["<]([^">]*)[">].*')
 
 
 class toolchain_makefile():