33a34,35
> #include "config/full_system.hh"
>
38d39
< #include "config/full_system.hh"
218c219
< #if DEBUG
---
> #ifdef DEBUG
228c229
< #if DEBUG
---
> #ifdef DEBUG
234c235
< #if DEBUG
---
> #ifdef DEBUG