--- rpl/rplcas/Makefile.in	2013/02/23 12:39:44	1.38
+++ rpl/rplcas/Makefile.in	2015/06/08 07:15:31	1.42
@@ -5,7 +5,7 @@ CXXFLAGS=@CXXFLAGS@
 LDFLAGS=@LDFLAGS@
 OBJEXT=@OBJEXT@
 
-.PHONY: configure clean
+.PHONY: configure clean distclean
 
 all: lib/librplcas.a
 
@@ -200,7 +200,7 @@ lib/librplcas.a: lib/@LIB_PREFIX@giac.a
 				done; \
 				if test -n "$$L"; then \
 					echo -n "Adding files to librplcas.a archive... "; \
-					ar cru ../lib/librplcas.a $$L; \
+					ar cr ../lib/librplcas.a $$L; \
 					rm -f $$L; \
 					echo "done"; \
 				fi; \