Hartmut Brandt 6757bf1b26 When compiling the module with INVARIANTS we also need INVARIANT_SUPPORT.		2003-08-06 16:01:32 +00:00
..
Makefile	When compiling the module with INVARIANTS we also need INVARIANT_SUPPORT.	2003-08-06 16:01:32 +00:00