Skip to content

trivial: typos + missing input xml declaration#454

Merged
lsf37 merged 1 commit intoseL4:masterfrom
au-ts:julia/trivial-typos-yml
Apr 30, 2026
Merged

trivial: typos + missing input xml declaration#454
lsf37 merged 1 commit intoseL4:masterfrom
au-ts:julia/trivial-typos-yml

Conversation

@midnightveil
Copy link
Copy Markdown
Contributor

@midnightveil midnightveil commented Apr 20, 2026

Split out from au-ts#1.

Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au>
@midnightveil midnightveil requested a review from lsf37 as a code owner April 20, 2026 06:28
Comment thread seL4-platforms/builds.py
output = None
for line in script:
result, ouput = run_cmd(line, run, output)
result, output = run_cmd(line, run, output)
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This doesn't look trivial, it changes actual behaviour, as the output of previous lines isn't fed to run_cmd.

How on Earth could the old code work?

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It looks like tbe only time that I can see that ever passes something other than a list of strings is in builds.py which does 'lambda r: SKIP'. I guess nothing uses this previous output feature...?

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I was planning to try to detect things like boot failures based on the output of the previous command, but I don't think I ever got around to actually implementing anything useful there. It might be better to remove the entire feature, but I keep thinking that it might be useful down the road, so I haven't done that yet :-)

In any case it is definitely better to use it correctly, even if it currently doesn't do anything.

Comment thread seL4-platforms/builds.py
if result != SKIP:
for line in final_script:
r, output = run_cmd(line, run, ouput)
r, output = run_cmd(line, run, output)
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Same here.

@lsf37 lsf37 merged commit 654e643 into seL4:master Apr 30, 2026
7 checks passed
@midnightveil midnightveil deleted the julia/trivial-typos-yml branch April 30, 2026 11:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants