X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fcommand.c;h=d4c130aa64bce968c62d38f373d4304b243b8178;hb=7fa020a6e6a7807bbc810576cbf4fcea56c98d44;hp=40c186efd9d35f92c262259679702188f5bef8d8;hpb=4944c86a9318bc5b5578ab145a95c116ffd2c9fd;p=pspp

diff --git a/src/command.c b/src/command.c
index 40c186efd9..d4c130aa64 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. */