1 files changed, 1 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index d6df22f0..e8e540b7 100644
--- a/Makefile
+++ b/Makefile
@@ -15,7 +15,7 @@
 
 include Makefile.config
 
-DIRS=lib common $(ARCH) backend cfrontend driver \
+DIRS=lib common $(ARCH) backend cfrontend driver debug\
   flocq/Core flocq/Prop flocq/Calc flocq/Appli exportclight \
   cparser cparser/validator