diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2021-06-01 17:05:32 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2021-06-01 17:05:32 +0200 |
| commit | dfae0d2d876fc8abbbcefe12d605ade1e88479dc (patch) | |
| tree | 06cf9fe83a356295903687a4721fe0db9d2062ce /runtime | |
| parent | d41bc9d9eecb7febc7ad48cb7d3a35768b73ee54 (diff) | |
| download | compcert-kvx-dfae0d2d876fc8abbbcefe12d605ade1e88479dc.tar.gz compcert-kvx-dfae0d2d876fc8abbbcefe12d605ade1e88479dc.zip | |
Fixing build for KVX (missing ccomp_kvx_fixes.h for runtime)
Diffstat (limited to 'runtime')
| l--------- | runtime/kvx/ccomp_kvx_fixes.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/runtime/kvx/ccomp_kvx_fixes.h b/runtime/kvx/ccomp_kvx_fixes.h new file mode 120000 index 00000000..62334d46 --- /dev/null +++ b/runtime/kvx/ccomp_kvx_fixes.h @@ -0,0 +1 @@ +../c/ccomp_kvx_fixes.h
\ No newline at end of file |