added flag to turn off vrfy
authorGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Mon, 1 Dec 2003 12:08:57 +0000 (12:08 +0000)
committerGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Mon, 1 Dec 2003 12:08:57 +0000 (12:08 +0000)
commit55c8434e1530c689d0f8938ffda5333ed9cc78ee
tree06ccc3ce78f6405bf9945ddb5c047638acc89cdd
parent1e1770d41dd5b5fdbdcc65d44d3fd6c5b05c8fc9
added flag to turn off vrfy

[r2149]
ir/ir/irvrfy.c
ir/ir/irvrfy.h