mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 05:37:54 +00:00
Fix comment
This commit is contained in:
parent
bd2e15aeb0
commit
33c2bc8ad0
@ -58,9 +58,9 @@ proc run_boot_dir {binaries} {
|
||||
|
||||
# introduce boot module headers
|
||||
exec echo -e \
|
||||
"/**" \
|
||||
"/*" \
|
||||
"\n * This file was automatically generated by the procedure" \
|
||||
"\n * 'run_boot_dir' in 'base-hw/run/env'." \
|
||||
"\n * 'run_boot_dir' in 'tool/run/boot_dir/hw'." \
|
||||
"\n */" \
|
||||
"\n" \
|
||||
"\n /* core includes */" \
|
||||
|
Loading…
Reference in New Issue
Block a user