diff --git a/Makefile b/Makefile
index f919e31b6..8959eacf9 100644
--- a/Makefile
+++ b/Makefile
@@ -780,7 +780,7 @@ else
 endif
 
 libyosys.a: $(filter-out kernel/driver.o,$(OBJS))
-	$(P) ar rcs $@ $^
+	$(P) $(AR) rcs $@ $^
 
 %.o: %.cc
 	$(Q) mkdir -p $(dir $@)