diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-09-28 17:02:56 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-09-28 17:02:56 +0200 |
commit | 3482cce97fd40de8f2c34eaaf642a54a9f453b83 (patch) | |
tree | 9bea7a870bf50621400218d7624467f0c2d06134 /Makefile | |
parent | 27045947a8934d90e1d880ddc37b79c6537ff523 (diff) | |
download | compcert-kvx-3482cce97fd40de8f2c34eaaf642a54a9f453b83.tar.gz compcert-kvx-3482cce97fd40de8f2c34eaaf642a54a9f453b83.zip |
Removed the bundle attempt
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -97,7 +97,6 @@ BACKEND=\ Bounds.v Stacklayout.v Stacking.v Stackingproof.v \ Machblock.v Machblockgen.v Machblockgenproof.v \ Asmblock.v Asmblockgen.v Asmblockgenproof0.v Asmblockgenproof1.v Asmblockgenproof.v \ - Asmbundle.v Asmbundling.v Asmbundlingproof.v \ Asm.v Asmgen.v Asmgenproof.v # C front-end modules (in cfrontend/) |