diff options
| author | Dimitri Staessens <dimitri.staessens@ugent.be> | 2018-02-06 18:17:57 +0100 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2018-02-06 18:21:19 +0100 |
| commit | c80de3a96b4d91b1202d9ebebab11f6ff0af2045 (patch) | |
| tree | 57cb2e953b47fca276c1f71dd01a9bfeeb9389f2 /src/tools/operf | |
| parent | 77677f4a2939c7ffa64731521c8e10c18d5b62d3 (diff) | |
| download | ouroboros-c80de3a96b4d91b1202d9ebebab11f6ff0af2045.tar.gz ouroboros-c80de3a96b4d91b1202d9ebebab11f6ff0af2045.zip | |
build: Add option to disable SWIG support
This allows disabling swig support on systems where swig is installed
but it fails building (e.g. some versions of Raspbian).
Signed-off-by: Dimitri Staessens <dimitri.staessens@ugent.be>
Signed-off-by: Sander Vrijders <sander.vrijders@ugent.be>
Diffstat (limited to 'src/tools/operf')
0 files changed, 0 insertions, 0 deletions