changeset 1709 | 1e8900fc8ddb |
parent 1575 | de2da05089ea |
child 1730 | 64d8f52bc8c8 |
--- a/targets/toolchain_makefile.py Mon Jun 26 19:42:42 2017 +0300 +++ b/targets/toolchain_makefile.py Tue Jun 27 13:30:48 2017 +0300 @@ -110,7 +110,7 @@ } # clean sequence of multiple whitespaces - cmd = re.sub(r"[ ]+", " ", target.getCommand()) + cmd = re.sub(r"[ ]+", " ", target.getCommand().strip()) command = [ token % beremizcommand for token in cmd.split(' ')]