aboutsummaryrefslogtreecommitdiffstats
path: root/runtime/Makefile
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2018-11-20 11:04:07 +0100
committerCyril SIX <cyril.six@kalray.eu>2018-11-20 11:04:07 +0100
commit65db9a4a02c30d8dd5ca89b6fe3e4524cd4c29a5 (patch)
treee2af9dd819aff07144250e1789d88e328f000136 /runtime/Makefile
parentf5074503d24b0974d880a402f1ecef6e7812c70e (diff)
downloadcompcert-kvx-65db9a4a02c30d8dd5ca89b6fe3e4524cd4c29a5.tar.gz
compcert-kvx-65db9a4a02c30d8dd5ca89b6fe3e4524cd4c29a5.zip
Fixed MPPA runtimes not compiling
Diffstat (limited to 'runtime/Makefile')
-rw-r--r--runtime/Makefile4
1 files changed, 1 insertions, 3 deletions
diff --git a/runtime/Makefile b/runtime/Makefile
index 0d130ca2..30c1fc83 100644
--- a/runtime/Makefile
+++ b/runtime/Makefile
@@ -24,6 +24,7 @@ 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
+DOMAKE:=$(shell (cd mppa_k1c && make))
else
OBJS=i64_dtos.o i64_dtou.o i64_sar.o i64_sdiv.o i64_shl.o \
i64_shr.o i64_smod.o i64_stod.o i64_stof.o \
@@ -42,9 +43,6 @@ VPATH=$(ARCH)
ifeq ($(strip $(HAS_RUNTIME_LIB)),true)
all: $(LIB)
-ifeq ($(ARCH),mppa_k1c)
- (cd mppa_k1c && make)
-endif
else
all:
endif