« Previous | Next » 

Revision e8f936b0

IDe8f936b0df818882bd84f65a0bf12042a8d86428
Parent c3024b7e
Child f35ea63a

Added by Iustin Pop about 12 years ago

More -- fixes

Because .DELETE_ON_ERROR doesn't work consistently (works when the
target we're talking about is a final target, but not for
intermediates), I missed a lot of man checks.

Signed-off-by: Iustin Pop <>
Reviewed-by: Michael Hanselmann <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences