Waldemar Brodkorb 713dc7012a fix make bulk on OpenADK buildserver 13 anni fa
..
patches 0851c77c51 misc fixes from bulk build 13 anni fa
Makefile 713dc7012a fix make bulk on OpenADK buildserver 13 anni fa