diff options
-rw-r--r-- | runtime/Makefile | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/runtime/Makefile b/runtime/Makefile index ed4c1d39..6f70fa87 100644 --- a/runtime/Makefile +++ b/runtime/Makefile @@ -38,11 +38,7 @@ OBJS=i64_dtos.o i64_dtou.o i64_sar.o i64_sdiv.o i64_shl.o \ vararg.o endif -ifeq ($(ARCH),kvx) - AR=kvx-elf-ar -else - AR=ar -endif +AR=ar OBJS+=write_profiling_table.o |