/* Copyright (C) 1996,1997 Robert H”hne, see COPYING.RH for details */
/* This file is part of RHIDE. */
/* 
  This is needed, when you compile libgdb with -DMAINTENANCE_CMDS=0,
  because the is a little bug with checking the above define there
*/
int watchdog;
