diff options
Diffstat (limited to 'ocaml-binary-annot/otherlibs/win32unix/windbug.h')
| -rw-r--r-- | ocaml-binary-annot/otherlibs/win32unix/windbug.h | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/ocaml-binary-annot/otherlibs/win32unix/windbug.h b/ocaml-binary-annot/otherlibs/win32unix/windbug.h new file mode 100644 index 0000000000..69cbd3b6e9 --- /dev/null +++ b/ocaml-binary-annot/otherlibs/win32unix/windbug.h @@ -0,0 +1,38 @@ +/***********************************************************************/ +/* */ +/* Objective Caml */ +/* */ +/* Contributed by Sylvain Le Gall for Lexifi */ +/* */ +/* Copyright 2008 Institut National de Recherche en Informatique et */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../../LICENSE. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + +#ifdef DEBUG + +#include <stdio.h> +#include <windows.h> + +#define DEBUG_PRINT(fmt, ...) \ + do \ + { \ + if (debug_test()) \ + { \ + fprintf(stderr, "DBUG (pid:%d, tid: %d): ", GetCurrentProcessId(), GetCurrentThreadId()); \ + fprintf(stderr, fmt, __VA_ARGS__); \ + fprintf(stderr, "\n"); \ + fflush(stderr); \ + }; \ + } while(0) + +/* Test if we are in dbug mode */ +int debug_test (void); + +#else +#define DEBUG_PRINT(fmt, ...) +#endif |