diff options
author | lonkaars <loek@pipeframe.xyz> | 2023-01-28 10:43:15 +0100 |
---|---|---|
committer | lonkaars <loek@pipeframe.xyz> | 2023-01-28 10:43:15 +0100 |
commit | c16a16342d8a2b3e06edbfd4af7fdac6a66bcb64 (patch) | |
tree | 6ec767281010bbf169245b82007994f58b9ea496 | |
parent | 6ea07f6f4484df16d265e3d53694f2cc932dc4db (diff) |
fix makefile REMOVE_SLASH_STAR_COMMENTS (allow "/" in /* */ comments)
-rw-r--r-- | common.mk | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ TO_SINGLE_LINE:=tr '\n' ' ' REMOVE_DOUBLE_SLASH_COMMENTS:=sed 's/\/\/.*$$//g' -REMOVE_SLASH_STAR_COMMENTS:=sed 's/\/\*[^\/]*\*\///g' +REMOVE_SLASH_STAR_COMMENTS:=sed 's/\/\*[^\*]*\*\///g' REMOVE_TABS:=sed 's/\t//g' REMOVE_WHITESPACE:=sed 's/ */ /g' TRIM_WHITESPACE:=sed -E 's/^\s*(.*)\s+$$/\1/g' |