diff options
author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2019-01-18 11:28:20 +0100 |
---|---|---|
committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2019-01-18 11:28:20 +0100 |
commit | 9c25667fea878768202a990452845c10e4458185 (patch) | |
tree | f3486a01be48a15861968dbe3965cc422388858c /configure | |
parent | 12c160bd4d10b008d0e53382c1f452bc3b05336e (diff) | |
download | compcert-kvx-9c25667fea878768202a990452845c10e4458185.tar.gz compcert-kvx-9c25667fea878768202a990452845c10e4458185.zip |
fix oubli dans configure
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -804,7 +804,7 @@ cat >> Makefile.config <<EOF ARCHDIRS=$arch $arch/lib BACKENDLIB=Machblock.v Machblockgen.v Machblockgenproof.v\ Asmblock.v Asmblockgen.v Asmblockgenproof0.v Asmblockgenproof1.v Asmblockgenproof.v\ - ForwardSimulationBlock.v + ForwardSimulationBlock.v PostpassScheduling.v PostpassSchedulingproof.v EOF fi |