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

hardware_gen: Remove build path from output file

Browse Source 
This was causing errors with a reproducible build check in the binary
verification toolchains.
This commit is contained in:
Kent McLeod
2019-03-07 16:11:31 +11:00
parent de4e7bb40b
commit 2943f042a7
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
tools/hardware_gen.py
View File

@@ -750,8 +750,7 @@ HEADER_TEMPLATE = """
* @TAG(DATA61_GPL)
*/
/*
* This file is autogenerated by kernel/tools/hardware_gen.py from
* {{args.dtb.name}}.
* This file is autogenerated by kernel/tools/hardware_gen.py.
*/
#ifndef __PLAT_DEVICES_GEN_H