diff options
author | Olivier Gayot <duskcoder@gmail.com> | 2015-05-16 03:30:49 +0100 |
---|---|---|
committer | Olivier Gayot <duskcoder@gmail.com> | 2015-05-16 03:30:49 +0100 |
commit | 0869578a58a0f0cc40bff344aaa0797bc026c81c (patch) | |
tree | b7cd46755efea38249b74d8a86ec200b1ec5151c | |
parent | 9abfc01938b40272982a592d297b8b7d2c93f925 (diff) |
GNU make does not handle spaces in filenames
Let's not use double quotes around filenames since make does not handle
them.
Signed-off-by: Olivier Gayot <duskcoder@gmail.com>
-rwxr-xr-x | gen_makefile.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gen_makefile.py b/gen_makefile.py index 7b66592..55eb161 100755 --- a/gen_makefile.py +++ b/gen_makefile.py @@ -72,7 +72,7 @@ class makefile_generator(): # linkage self.append_rule('$(NAME)', '$(OBJ)', [ - '$(%s) -o "$@" $^ $(LDFLAGS)' % (self._compiler_var) + '$(%s) -o $@ $^ $(LDFLAGS)' % (self._compiler_var) ]) self.append_separator() |