diff configure @ 13784:7d3b84ddd2fd

Remove hardcoded filenames in favor of command line parameters, some error checking added, patch by Reza Jelveh.
author diego
date Thu, 28 Oct 2004 01:02:24 +0000
parents 03b6c4539b3c
children fb83e23e94ce
line wrap: on
line diff