diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-10-27 21:00:31 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-10-27 21:00:31 +0100 |
commit | cf6a15a79c9d46d7aba300b595c824216866e83d (patch) | |
tree | c57894c1b9a3c673107e3546d9513c2bf5ab7e0d /Makefile | |
parent | 21af08182a41cd6a2fe1d2da08bedb572ab88981 (diff) | |
parent | 1439f7c79cf3d825479dc0fb68d6694083775c34 (diff) | |
download | compcert-kvx-cf6a15a79c9d46d7aba300b595c824216866e83d.tar.gz compcert-kvx-cf6a15a79c9d46d7aba300b595c824216866e83d.zip |
Merge remote-tracking branch 'origin/kvx-work' into kvx-test-prepass
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -85,7 +85,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 \ |