When I run the configure script that comes with lyx-1.2.2, it deletes the /dev/null device entry. The configure run prints this line:
configure: running /bin/sh './configure' --cache-file=/dev/null --srcdir=. So I suspect, line 307 in the configure script is responsible for this problem: cache_file=/dev/null Running configure with the --cache-file=<some_file> option prevents this. Bye Dominik ^_^ ^_^