diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-29 14:09:28 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-29 14:09:28 +0200 |
commit | add4e39a0503e5bc69d01831ac13680c3339e8c6 (patch) | |
tree | a239ada8d619066d0dc4fa8eb327a69bc6accfa3 /runtime | |
parent | dbd1a5f1d2a127ac3b66dc92bdf61b2c8f209d98 (diff) | |
download | compcert-kvx-add4e39a0503e5bc69d01831ac13680c3339e8c6.tar.gz compcert-kvx-add4e39a0503e5bc69d01831ac13680c3339e8c6.zip |
added some include files
Diffstat (limited to 'runtime')
l--------- | runtime/c/ccomp_k1c_fixes.h | 1 | ||||
l--------- | runtime/mppa_k1c/ccomp_k1c_fixes.h | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/runtime/c/ccomp_k1c_fixes.h b/runtime/c/ccomp_k1c_fixes.h new file mode 120000 index 00000000..b640c96e --- /dev/null +++ b/runtime/c/ccomp_k1c_fixes.h @@ -0,0 +1 @@ +../include/ccomp_k1c_fixes.h
\ No newline at end of file diff --git a/runtime/mppa_k1c/ccomp_k1c_fixes.h b/runtime/mppa_k1c/ccomp_k1c_fixes.h new file mode 120000 index 00000000..b640c96e --- /dev/null +++ b/runtime/mppa_k1c/ccomp_k1c_fixes.h @@ -0,0 +1 @@ +../include/ccomp_k1c_fixes.h
\ No newline at end of file |