X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fcommand.c;h=d4c130aa64bce968c62d38f373d4304b243b8178;hb=fcb9e49b2a2d57af7c001ae5d2eda9ac443ba36b;hp=40c186efd9d35f92c262259679702188f5bef8d8;hpb=f10ed4942f0f2253d236d5e454a8ab702ed7e72b;p=pspp-builds.git

diff --git a/src/command.c b/src/command.c
index 40c186ef..d4c130aa 100644
--- a/src/command.c
+++ b/src/command.c
@@ -61,8 +61,6 @@ char *alloca ();
 #include <sys/wait.h>
 #endif
 
-#undef DEBUGGING
-/*#define DEBUGGING 1*/
 #include "debug-print.h"
 
 /* Global variables. */