> > No, introducing all these extra/almost duplicated files is not OK, you'd
> > need to find a way to share the existing files instead, thanks.
> 
> I am not familiar with Ada.  Can you recommend how to fix it?

Can you send a diff between the *-linux files and your new files? This
should help giving some options.

Arno

Reply via email to