Ralf Wildenhues wrote: > | cd benchmarks; make clean > | /bin/sh: line 0: cd: benchmarks: No such file or directory > * Makefile.in: Don't enter nonexisting directories. Looks good. I've applied your patch. Thanks. Bruno