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

diff --git a/src/pool.c b/src/pool.c
index e7396574..0f5663d1 100644
--- a/src/pool.c
+++ b/src/pool.c
@@ -113,9 +113,7 @@ union align
 /*#define DISCRETE_BLOCKS 1*/
 
 /* Enable debug code if appropriate. */
-#undef DEBUGGING
 #if SELF_TEST
-#define DEBUGGING 1
 #endif
 
 /* Size of each block allocated in the pool, in bytes.