diff --git a/share/timing/Makefile b/share/timing/Makefile index fa6a16cadc8b..276aedf6e82f 100644 --- a/share/timing/Makefile +++ b/share/timing/Makefile @@ -58,9 +58,11 @@ endif OBJS = gptl.o GPTLutil.o GPTLget_memusage.o GPTLprint_memusage.o \ gptl_papi.o f_wrappers.o perf_mod.o perf_utils.o +AR ?= ar +ARFLAGS ?= ruv libgptl.a: $(OBJS) - $(AR) ruv $@ $(OBJS) + $(AR) $(ARFLAGS) $@ $(OBJS)