Many warnings about duplicate output directory during `make all`
Created by: genodeftest
Reproduction:
run make all
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.
Build information:
$ git rev-parse HEAD
e81b1d33ee2971d181abd497f6bb179f93f098de
Blocking/related: None – just a warning.