Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-03-27 10:29:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

use '#pragma once' include guards

Browse Source 
Signed-off-by: Axel Heider <axel.heider@hensoldt-cyber.de>
This commit is contained in:
Axel Heider
2021-06-18 17:16:51 +02:00
committed by Kent McLeod
parent 106c63e687
commit d1fb5c01a7
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
tools/hardware/outputs/c_header.py
View File

@@ -23,8 +23,8 @@ HEADER_TEMPLATE = '''/*
* This file is autogenerated by kernel/tools/hardware_gen.py.
*/
#ifndef __PLAT_DEVICES_GEN_H
#define __PLAT_DEVICES_GEN_H
#pragma once
#include <linker.h>
#ifndef KDEV_BASE
@@ -105,7 +105,6 @@ static const p_region_t BOOT_RODATA avail_p_regs[] = {
#endif /* !__ASSEMBLER__ */
#endif /* __PLAT_DEVICES_GEN_H */
'''