31387b2d04
Make -Ox the default; it's the optimization level expected by most users, and it is clearly still causing confusion that it has to be specified manually. Signed-off-by: H. Peter Anvin <hpa@zytor.com> |
||
---|---|---|
.. | ||
metrics | ||
afmmetrics.pl | ||
changes.src | ||
genps.pl | ||
genpsdriver.pl | ||
head.ps | ||
inslist.pl | ||
internal.doc | ||
makedocs.bat | ||
Makefile.in | ||
nasmdoc.src | ||
nasmlogo.eps | ||
opt_var.txt | ||
psfonts.ph | ||
pswidth.ph | ||
rdsrc.pl |