diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2020-10-27 15:57:19 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2020-10-27 15:57:19 +0100 |
| commit | dbb5f576ced7ec3acccc08edd4ca85bb316194a2 (patch) | |
| tree | 77e792b672e7fae15363494fd4fe57dea543591e /Makefile | |
| parent | 50ea7732118611a38e6aa6bced5c60dffb4eea3a (diff) | |
| download | compcert-kvx-dbb5f576ced7ec3acccc08edd4ca85bb316194a2.tar.gz compcert-kvx-dbb5f576ced7ec3acccc08edd4ca85bb316194a2.zip | |
Adding Duplicatepasses.v to Makefile
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -83,7 +83,7 @@ BACKEND=\ Profiling.v Profilingproof.v \ ProfilingExploit.v ProfilingExploitproof.v \ Renumber.v Renumberproof.v \ - Duplicate.v Duplicateproof.v \ + Duplicate.v Duplicateproof.v Duplicatepasses.v \ RTLtyping.v \ Kildall.v Liveness.v \ ValueDomain.v ValueAOp.v ValueAnalysis.v \ |