Skip to content

Conversation

@pazz
Copy link

@pazz pazz commented May 6, 2025

Invoking bash or zsh via "/bin/sh" will cause these shells to be
incompatible with some modern syntax extensions, including tests via the
[[ ... ]] operator.

https://superuser.com/questions/374406/why-do-i-get-not-found-when-running-a-script

This commit fixes corresponding errors (for me):

make test
PRISM_DIR=../prism PRISM_MAINCLASS=demos.ModelCheckFromFiles bin/run
bin/run: 21: [[: not found

Invoking bash or zsh via "/bin/sh" will cause these shells to be
incompatible with some modern syntax extensions, including tests via the
`[[ ... ]]` operator.

<https://superuser.com/questions/374406/why-do-i-get-not-found-when-running-a-script>

This commit fixes corresponding errors (for me).
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.

1 participant