- warn if a config file could not be opened
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 14 Oct 2008 01:08:32 +0000 (01:08 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 14 Oct 2008 01:08:32 +0000 (01:08 +0000)
commit68d9f359de0faaa48e5a0cb3c656d6ed7b1daca2
treeec236582de6d58df43dbef959928669a620e4678
parentb863ba4c0942c387ea18167a6b970a67b26c7ec1
- warn if a config file could not be opened

[r22860]
ir/be/bemain.c