diff options
| author | Ian Jauslin <ian.jauslin@roma1.infn.it> | 2015-09-21 10:20:35 +0000 |
|---|---|---|
| committer | Ian Jauslin <ian.jauslin@roma1.infn.it> | 2015-09-21 10:20:35 +0000 |
| commit | e7aa6859f08565d58684fa4b9c40fed716f0ba17 (patch) | |
| tree | 518d709e86c9314ef50034f10e4b85c802b9c15c /Makefile | |
| parent | f13eacbc8e5ab714dd3544adab8189c313382c77 (diff) | |
Add '-C' flag to meantools-derivev1.3.1
Fix memory leak in meantools-derive
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -18,7 +18,7 @@ # if static=1 then link libkondo statically but other libraries dynamically STATIC=1 -VERSION=1.3 +VERSION=1.3.1 # products of the compilation PROJECT_BINS= meankondo numkondo meantools kondo_preprocess meantools-convert |