Skip to content
Snippets Groups Projects
  1. Mar 05, 2012
    • Iustin Pop's avatar
      Rename check-man to check-man-warnings · 73d0e218
      Iustin Pop authored
      
      Currently the check-man test is dependent on the MAN_HAS_WARNINGS
      test, which made sense as long as the script only did the warnings
      check.
      
      However, we should run the [em] tests always, and in general we could
      run other tests too, even if man doesn't support --warnings; so let's
      split the check man. As a first prerequisite, we rename check-man to
      check-man-warnings (and the respective Makefile variables).
      
      Signed-off-by: default avatarIustin Pop <iustin@google.com>
      Reviewed-by: default avatarRené Nussbaumer <rn@google.com>
      73d0e218
    • Iustin Pop's avatar
      Makefile: improve the fix for .DELETE_ON_ERROR · 9c45babb
      Iustin Pop authored
      
      I've investigated more and it seems that .DELETE_ON_ERROR not working
      is a bug/regression in some versions of make; testing with make 3.82
      from Debian experimental makes this special target work as
      expected. Also, make 3.81 works on trivial Makefiles, but not on our
      complex one.
      
      In the meantime, let's improve the fix for the building of man pages:
      make the removal implicit, instead of explicit, via the use of 'trap'
      on EXIT. I just hope this behaves consistently across all bash
      versions :)
      
      Signed-off-by: default avatarIustin Pop <iustin@google.com>
      Reviewed-by: default avatarRené Nussbaumer <rn@google.com>
      9c45babb
  2. Mar 03, 2012
  3. Mar 01, 2012
  4. Feb 29, 2012
  5. Feb 28, 2012
  6. Feb 27, 2012
  7. Feb 23, 2012
  8. Feb 22, 2012
  9. Feb 21, 2012
Loading