Hi,
The current release of debian devkit (1.0.7) was built using a wrong
source tree. It contains a mixed set of sarge and etch tools which may
create problems, if you're using that particular version.
It is recommended to use the 1.0.6 version instead, the 1.0.7 has been
removed from the package repositories.
A fixed build, which will be 1.0.7.1 is on it's way.
Had to remove the 1.0.7 tag from the repository too, it might give you
some trouble when doing darcs pull but all the possible conflicts should
be easily resolvable.
Sorry about all the extra fuss.
Regards,
Jussi
_______________________________________________
Scratchbox-users mailing list
Scratchbox-users@lists.scratchbox.org
http://lists.scratchbox.org/cgi-bin/mailman/listinfo/scratchbox-users
