comparison loader/driver.c @ 4293:1b6f6519b037

Add a check to not set the cache size if the user alredy set it. Use m_config_set_int in place of m_config_set_option.
author albeu
date Mon, 21 Jan 2002 10:47:47 +0000
parents 4dad31e655b6
children 174e2a58b4cd
comparison
equal deleted inserted replaced
4292:1cee88ee8db5 4293:1b6f6519b037