Make clean really clean in src/

[jpellegrini]

• Remove git-info.h, not git-config.h
• Also remove boot.ok
• And fix the comment in Makefile.am

[egallesio]

Hi @jpellegrini,

Imho, boot.ok should not be deleted. It is the last boot file which is know to work. This is particulary useful if you have a bug in boot.img. Restarting from a too mush old image can also be a problem, and force you to unset a bunch of modification you have done in one of the intervening files in the boot process. It served me more than one time, trust me.

Of course, committing often in the git tree minimizes the utility to keep it, but it is a good safety belt to prevent long rollbacks. Is it really a problem to keep it?

[jpellegrini]

Hm, ok. Actually, the Debian package expects the clean target to delete it, but this is not a problem -- it can be done ad-hoc in debian/rules.

[egallesio]

Hi,
I have renamed the file boot.ok in boot.keep. However, instead of deleting is now done when doing a make distclean (instead of a make clean as done in this PR). I don't know if will be OK for Debian, but as I said before, it is important to keep this file to be able to backtrack when the boot image is broken. I suppose you'll have to modify the debian/rules file.