diff options
| author | Oleg Endo <olegendo@gcc.gnu.org> | 2019-04-29 16:13:34 +0900 |
|---|---|---|
| committer | Oleg Endo <olegendo@gcc.gnu.org> | 2019-04-29 16:13:34 +0900 |
| commit | e531fb203aedeb3863ebf8add0bbd8251183d27a (patch) | |
| tree | d2bbe44f8af041a0483a55839c6c46151746c087 /.github | |
| parent | ea0e0722bb42254ac8c63eb41664d9dfb7973aec (diff) | |
| download | yosys-e531fb203aedeb3863ebf8add0bbd8251183d27a.tar.gz yosys-e531fb203aedeb3863ebf8add0bbd8251183d27a.tar.bz2 yosys-e531fb203aedeb3863ebf8add0bbd8251183d27a.zip | |
escape spaces with backslash when writing dep file
filenames are sparated by spaces in the dep file. if a filename in the
dep file contains spaces they must be escaped, otherwise the tool that
reads the dep file will see multiple wrong filenames.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions