- switch -b help to "command line format", not .firmrc format ;-)
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 14 Oct 2008 01:59:40 +0000 (01:59 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 14 Oct 2008 01:59:40 +0000 (01:59 +0000)
commit3cbb1db182acf85be956bb91288c9f7c89a87d4f
treed2b7216e4c1ca5aadfd6056c2e19ae0b0dde380f
parentf1c64cce6209a56ea0ed44201b51c16c910ead07
- switch -b help to "command line format", not .firmrc format ;-)

[r22866]
ir/be/bemain.c