diff --git a/tools/Makefile b/tools/Makefile
index b4e7566584beedd91d12b691ab82a0c8520499f0..9117d7c547be1bf68d94a8345bff17a31b48509b 100644
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -1,5 +1,5 @@
 
-CFLAGS = -ggdb -Wall -I../kernel
+CFLAGS = -ggdb -Wall -I../kernel $(EXTRACFLAGS)
 LDFLAGS = -L. -lspec
 
 LIB = libspec.a