debug.h 423 B

12345678910111213141516171819
  1. /*
  2. * (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
  3. * See the copyright notice in the ACK home directory, in the file "Copyright".
  4. */
  5. /* $Id$ */
  6. #ifdef NDEBUG
  7. #define debug(s, a1, a2, a3, a4)
  8. #else
  9. extern int DEB;
  10. #define debug(s, a1, a2, a3, a4) (DEB && printf(s, a1, a2, a3, a4))
  11. #endif
  12. extern int Verbose;
  13. #define verbose(s, a1, a2, a3, a4) (Verbose && do_verbose(s, a1, a2, a3, a4))