Hallo,
der develserver funktioniert nun, wie erwartet. Eine zusätzlich Änderung wäre allerdings noch schön:
Derzeit generiert der develserver sein Packages erst, wenn er zum ersten mal nach seinen Paketen gefragt wird.
Ich möchte anregen, dass der develserver nach einem make clean nicht nur die config.sh sondern auch gleich die Packages neu erstellt.
Schöne Grüße aus Wien
BobW