Index: HelenOS.config
===================================================================
--- HelenOS.config	(revision 1f5c9c96476a03a43ef971cbc095c9553338eaf6)
+++ HelenOS.config	(revision ee04c2832455ef7dfdea71dd33d357bf840bc595)
@@ -556,5 +556,5 @@
 
 % Include development files (headers, libraries)
-! [RDFMT=tmpfs|RDFMT=ext2fs] CONFIG_DEVEL_FILES (n/y)
+! CONFIG_DEVEL_FILES (n/y)
 
 % Strip binaries