* $Source$
* $Header$
*/
+/* (c) Copyright 1988 by the Massachusetts Institute of Technology. */
+/* For copying and distribution information, please see the file */
+/* <mit-copyright.h>. */
#ifndef lint
static char *rcsid_inst_001_c = "$Header$";
#endif lint
+#include <mit-copyright.h>
#include <stdio.h>
-#include "gdb.h"
+#include <gdb.h>
#include "kludge.h"
-#include "sms_update_int.h"
STRING instructions = { 0, 0 };
extern CONNECTION conn;
have_instructions = 1;
if (send_ok())
lose("sending okay after instructions");
- dprintf(("got instructions: %s\n", STRING_DATA(instructions)));
+#ifdef DEBUG
+ printf("got instructions: %s\n", STRING_DATA(instructions));
+#endif
}