diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-11-02 00:40:40 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-11-02 00:40:40 +0000 |
| commit | b335fcb563d61665259248bfc9b74fa807071e6a (patch) | |
| tree | 7230fe16f6f6637c300db9d07e4e2528bc684694 /src/parser/smt2/Makefile | |
| parent | 94eaed5b44c271e940e92c05d7162534ce256caf (diff) | |
Sometimes antlr decides to generate lexers and parsers in a different directory than specified by "-o dir" ?! Fix that by specifying "-fo dir".
Diffstat (limited to 'src/parser/smt2/Makefile')
0 files changed, 0 insertions, 0 deletions