diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2020-02-06 11:48:30 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2020-02-06 11:48:30 +0100 |
| commit | 0c25f714e690681c50420a218dad518fbecdb42a (patch) | |
| tree | 14c6fd742755c833241902672cfd009bd4eb84a9 /runtime | |
| parent | aa042a1654698d7bfd1e3cd8cf7abacd528e7133 (diff) | |
| download | compcert-kvx-0c25f714e690681c50420a218dad518fbecdb42a.tar.gz compcert-kvx-0c25f714e690681c50420a218dad518fbecdb42a.zip | |
Fixed using ccomp assembly preprocessor
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/mppa_k1c/vararg.s (renamed from runtime/mppa_k1c/vararg.S) | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/runtime/mppa_k1c/vararg.S b/runtime/mppa_k1c/vararg.s index 9e23e0b3..65c1eab8 100644 --- a/runtime/mppa_k1c/vararg.S +++ b/runtime/mppa_k1c/vararg.s @@ -1,7 +1,7 @@ -// typedef void * va_list; -// unsigned int __compcert_va_int32(va_list * ap); -// unsigned long long __compcert_va_int64(va_list * ap); +# typedef void * va_list; +# unsigned int __compcert_va_int32(va_list * ap); +# unsigned long long __compcert_va_int64(va_list * ap); .text .balign 2 |