[Devel] Makefile changes

[Bogdan-Andrei Iancu]

Hi Klaus,

try "make proper"

regards,
bogdan

Klaus Darilion wrote:

> Hi!
>
> Is it possible to change "make clean" to also delete all the "*.d" 
> files? I recently had a problem due to old *.d files.
>
> regards
> klaus
>
> _______________________________________________
> Devel mailing list
> Devel at openser.org
> http://openser.org/cgi-bin/mailman/listinfo/devel
>