Developer grade options (The Mercury User’s Guide)

Previous: , Up: Grade options [Contents][Index]


11.5.8 Developer grade options


--num-ptag-bits N
--num-tag-bits N

Use ‘N’ primary tag bits. Note that the value of this option is normally autoconfigured; its use should never be needed except for cross-compilation to an architecture where autoconfiguration would yield a different value.

AltStyle によって変換されたページ (->オリジナル) /