Propagate EXTRA_OPTS

diff --git a/servers/fs/Makefile b/servers/fs/Makefile
index 30bfb176529e54e9973ca53d5be9a08cc034489e..efeebe8a15e95acf0187947a3eff0507ee9025b8 100644 (file)
--- a/servers/fs/Makefile
+++ b/servers/fs/Makefile
@@ -9,7 +9,7 @@ h = $i/minix
 
 # programs, flags, etc.
 CC =   exec cc
-CFLAGS = -I$i
+CFLAGS = -I$i $(EXTRA_OPTS)
 LDFLAGS = -i
 LIBS = -lsys -lsysutil -ltimers