diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2014-03-04 13:05:57 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2014-03-04 13:05:57 +0200 |
| commit | ba2b1039c37e3a18589f78c1508fd503be70b262 (patch) | |
| tree | 3094c9a7f9ac2b06af25411b1612701c61e3fd27 /doc | |
| parent | e21a730c1fc4e199fb9b3c812a070788527b4c0e (diff) | |
Pass database we are compiling for to plugin explicitly as first argument
Rather than relying on it being specified in the command line which may
not be the case -- the option could be specified in an options file.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions