Remove additions from contrib/ before moving HEAD
commitac8522a1ad8022462a04fb5504179469db6efb4f
authorAchim Gratz <Stromeko@Stromeko.DE>
Sat, 9 Feb 2013 07:31:44 +0000 (9 08:31 +0100)
committerAchim Gratz <Stromeko@Stromeko.DE>
Sat, 9 Feb 2013 07:31:44 +0000 (9 08:31 +0100)
tree78444510389c42a28f6608556cccb0e1a38c8771
parentfa55168d262cd2fbcf35d40474a7466502ea7836
Remove additions from contrib/ before moving HEAD

* mk/targets.mk (up0): Explicitly remove additions from contrib/
  before moving HEAD via git since the files might be renamed, deleted
  or moved by checking out a new version.

Thanks to Suvayu Ali for pointing to this problem.  The user still has
to remember to do this when moving HEAD manually, though.
mk/targets.mk