Many warnings about duplicate output directory during `make all`
Created by: genodeftest
Expected behavior: Less warnings
Actual behavior: hundreds of these warnings occur, about one per crate:
warning: ignoring specified output filename because multiple outputs were requested warning: ignoring --out-dir flag due to -o flag.
$ git rev-parse HEAD e81b1d33ee2971d181abd497f6bb179f93f098de
Blocking/related: None – just a warning.