diff options
| author | mjdenkowski <michael.j.denkowski@gmail.com> | 2014-08-07 16:39:19 -0400 |
|---|---|---|
| committer | mjdenkowski <michael.j.denkowski@gmail.com> | 2014-08-07 16:39:19 -0400 |
| commit | 969b00197fc41087f9eb808a7ebba293966f90de (patch) | |
| tree | c81c5be494e9ad898d196f4ad63c1fc72fd8dc6d /utils/corpus_tools.h | |
| parent | f616df9a37edc3bbcecedc395ba7233c8fab3770 (diff) | |
Option for static linking (./configure --with-static). Currently limited to a few
binaries.
Diffstat (limited to 'utils/corpus_tools.h')
0 files changed, 0 insertions, 0 deletions