ビルドオプションについて

［ツール設定］にあるオプションの設定についてＣコンパイラのオプションをここからでは変更できない*1。
ユーザ／システム／カーネルでコンパイルオプションが異なるからもあるが、makefile.initを編集するよりは共通のスイッチはここで操作できるほうがよいと思われる*2。
例えば[-g][-Wa,gstab][-O2]

*1:現時点では

*2:もちろんmakefile.initは残しておくが