diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-07-04 15:42:09 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-07-11 12:02:48 +0200 |
| commit | 4ab0a6b4293c1774931b4b84a649dc1ff8fba5d9 (patch) | |
| tree | d9e62cffad4be20cef4bb6ce50b259e4dcf82a0b /test/monniaux/Makefile | |
| parent | c40a3f4d1a5143dd9148d1d58b9fcb2a6a40340e (diff) | |
| download | compcert-kvx-4ab0a6b4293c1774931b4b84a649dc1ff8fba5d9.tar.gz compcert-kvx-4ab0a6b4293c1774931b4b84a649dc1ff8fba5d9.zip | |
Fixing the make.proto of tacle-bench-lift and powerwindow, it now links correctly with the right things
Diffstat (limited to 'test/monniaux/Makefile')
0 files changed, 0 insertions, 0 deletions