summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2011-02-18 15:54:04 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2011-02-18 15:54:04 +0200
commit3cc7d6569990cfb4fae913e1ea0e56c1e80c2246 (patch)
tree8497cdc478a6585ce8997adda141188f7a71e1b9 /doc
parenta9a87afc39f815024b1908473a3ed33a82ddd25e (diff)
Add support for default options file
Now, if configured, the ODB compiler will load the default options file (../etc/odb/default.options by default). This file can be used for installation-wide customization, such as adding extra include search paths.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions