Skip to content
Snippets Groups Projects
Commit 346657b7 authored by Steffen Müthing's avatar Steffen Müthing
Browse files

[duneproject][Bugfix] Make sure dune_enable_all_packages() can actually be disabled

The shell script logic for switching dune_enable_all_packages() on or
off in duneproject was broken and always turned the feature on, ignoring
the user input.

Fixed by testing for the actual contents of the variable instead of its
length and by converting the contents to lowercase before.
parent dccc0aa2
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment