diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-08-06 14:55:39 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-08-06 15:27:41 +0200 |
| commit | cb436c69d9bcb0330518a48559649c9436ed5e7a (patch) | |
| tree | 1b1d474ad40b0748d3565c51938c1ed79b23f83e /executor/common.h | |
| parent | 56fe5665461fbbc19704e44c23e42d5f6ecb5361 (diff) | |
executor: add some code style checks
Move the test from pkg/csource to executor/
in order to be able to (1) run it on *.cc files,
(2) run on unprocessed *.h files, (3) produce line numbers.
Add a check for missed space after //.
Diffstat (limited to 'executor/common.h')
| -rw-r--r-- | executor/common.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/executor/common.h b/executor/common.h index a3f442edc..35e3c78da 100644 --- a/executor/common.h +++ b/executor/common.h @@ -9,7 +9,7 @@ // - NORETURN/PRINTF/debug are removed // - exitf/fail are replaced with exit // - uintN types are replaced with uintN_t -// - /*FOO*/ placeholders are replaced by actual values +// - /*{{{FOO}}}*/ placeholders are replaced by actual values #ifndef _GNU_SOURCE #define _GNU_SOURCE |