Skip to content

Update README.md#30

Merged
lsf37 merged 1 commit intoseL4:masterfrom
HastyTS:patch-1
Jun 11, 2025
Merged

Update README.md#30
lsf37 merged 1 commit intoseL4:masterfrom
HastyTS:patch-1

Conversation

@HastyTS
Copy link
Copy Markdown
Contributor

@HastyTS HastyTS commented Jun 11, 2025

machine queue set up guide on github, in the line 'ln -s $H/mq.sh mq' no need for the repeated '/mq.sh' it can just be 'ln -s $H mq'

Signed-off-by: HastyTS <166496037+HastyTS@users.noreply.github.com>
Copy link
Copy Markdown
Member

@lsf37 lsf37 left a comment

Choose a reason for hiding this comment

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

In fact, not only no need, but actually wrong with the additional /mq.sh

@lsf37 lsf37 merged commit 9c388cd into seL4:master Jun 11, 2025
7 checks passed
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.

2 participants