aboutsummaryrefslogtreecommitdiffstats
path: root/runtime/Makefile
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2018-11-30 17:31:11 +0100
committerCyril SIX <cyril.six@kalray.eu>2018-11-30 17:31:11 +0100
commit79a2dac7e5317e515ce9610db1d48d0fc9ff0708 (patch)
treefe280055b9f4697ae9f1f61398d43b041b229fc7 /runtime/Makefile
parent30e8e1618e59bdb585b1fb36cddce41eefe12364 (diff)
downloadcompcert-kvx-79a2dac7e5317e515ce9610db1d48d0fc9ff0708.tar.gz
compcert-kvx-79a2dac7e5317e515ce9610db1d48d0fc9ff0708.zip
Finished implementation of va_arg + testing done
Diffstat (limited to 'runtime/Makefile')
-rw-r--r--runtime/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/Makefile b/runtime/Makefile
index 30c1fc83..66ec6fec 100644
--- a/runtime/Makefile
+++ b/runtime/Makefile
@@ -23,7 +23,7 @@ OBJS=i64_dtou.o i64_utod.o i64_utof.o vararg.o
else ifeq ($(ARCH),powerpc64)
OBJS=i64_dtou.o i64_stof.o i64_utod.o i64_utof.o vararg.o
else ifeq ($(ARCH),mppa_k1c)
-OBJS=i64_umod.o i64_udiv.o i64_udivmod.o i64_sdiv.o i64_smod.o
+OBJS=i64_umod.o i64_udiv.o i64_udivmod.o i64_sdiv.o i64_smod.o vararg.o
DOMAKE:=$(shell (cd mppa_k1c && make))
else
OBJS=i64_dtos.o i64_dtou.o i64_sar.o i64_sdiv.o i64_shl.o \