diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2017-07-06 16:24:41 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2017-07-06 16:24:41 -0700 |
commit | 6b7841227b0a4bdce72c848b170aac8230cf4cba (patch) | |
tree | ec538d4cd68aad048154202003d9e806bb6e8a4d /src/prop | |
parent | 9aeedc36448513517a16c81ac15ef8bc0c68cb9f (diff) |
Fix passing antlr arguments to configure in contrib/cut-release
Also fixes passing of makeargs.
Diffstat (limited to 'src/prop')
0 files changed, 0 insertions, 0 deletions