dunecontrol fails with non existing directory
If DUNE_CONTROL_PATH contains a non existing directory dunecontrol
fails.
Can be tested by running DUNE_CONTROL_PATH="doesntexist" dune-common/bin/dunecontrol
(except if 'doesntexist' exists on your system).
Leads to
doesntexist: file not found
Execution of dunecontrol terminated due to errors!
I had expected this to simply ignore the non existing path?