# Generate ODB options file. # odb.options