make osr_flag_default a define, because "simple-minded" CRecoder cannot handle this
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 9 Jun 2006 11:37:49 +0000 (11:37 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 9 Jun 2006 11:37:49 +0000 (11:37 +0000)
commita43300a0c20d2c28150b45af153715741f7a8431
tree7a4165dc9021ee3b491b31ad2e3937817e7222db
parentcfc97f93109e75199ee30e7e9c2f090be6c7eaf5
make osr_flag_default a define, because "simple-minded" CRecoder cannot handle this

[r7902]
ir/opt/opt_osr.h