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