diff input/Makefile @ 20224:08ee6acd3f6c

Implement -noidx since index can use quite a bit of memory, esp. when using valgrind.
author reimar
date Sun, 15 Oct 2006 12:48:18 +0000
parents 133f4d2f84c5
children 618d1857f4c4
line wrap: on
line diff