next up previous
Next: tools Up: Paratec 4.0 Online Documentation Previous: Getting additional output

Optimization flags

optimize allows you to optimize for different resources, e.g. disk IO, memory usage, etc. The flags for the various optimizations you want to obtain are concatenated by underscores.

optimize flag1_flag2_flag3 (sets 3 optimization flags)

Implemented flags:



Bernd Pfrommer
Fri Jan 16 14:08:55 PST 1998