diff options
Diffstat (limited to 'vppinfra/vppinfra/os.h')
| -rw-r--r-- | vppinfra/vppinfra/os.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/vppinfra/vppinfra/os.h b/vppinfra/vppinfra/os.h index 124864f5578..a5c74f8ce72 100644 --- a/vppinfra/vppinfra/os.h +++ b/vppinfra/vppinfra/os.h @@ -62,3 +62,11 @@ uword os_get_ncpus (void); #include <vppinfra/smp.h> #endif /* included_os_h */ + +/* + * fd.io coding-style-patch-verification: ON + * + * Local Variables: + * eval: (c-set-style "gnu") + * End: + */ |