Make debug.h non-idempotent, like <assert.h>.
[pintos-anon] / src /
drwxr-xr-x   ..
-rw-r--r-- 260 Makefile
-rw-r--r-- 2178 Makefile.inc
drwxr-xr-x - devices
drwxr-xr-x - filesys
drwxr-xr-x - lib
drwxr-xr-x - threads
drwxr-xr-x - vmware