diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-10-03 20:33:11 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-04-27 11:53:24 +0100 |
commit | 01c2e94a38f91af008e21a7be998da2db34ade03 (patch) | |
tree | d082eccc3d6d09626660544ced48b03ab18dd233 | |
parent | 4884a324ed0fa3a8602777bdb49580e801ff6f5b (diff) | |
download | compcert-01c2e94a38f91af008e21a7be998da2db34ade03.tar.gz compcert-01c2e94a38f91af008e21a7be998da2db34ade03.zip |
Fix dune file as well
-rw-r--r-- | dune | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -(dirs :standard \ aarch64 arm x86_32 riscV powerpc extraction) +(dirs :standard \ aarch64 arm x86_32 riscV powerpc extraction x86 x86_64) |