X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile;h=5dda3b5593c8baa840d83cde6b8192571e32a7b0;hb=d5b824ef9f8ed062afd0281722d4608f02b2437a;hp=ca9a516e8e9e08eb2f90d33b4ea97cdc0bd60c4f;hpb=0a9fbea492750b699f5bf721a475ca4d0bfb1332;p=pspp

diff --git a/Makefile b/Makefile
index ca9a516e8e..5dda3b5593 100644
--- a/Makefile
+++ b/Makefile
@@ -49,7 +49,7 @@ allow_AC_LIBOBJ =	\
   fcntl			\
   fprintf-posix		\
   open			\
-  printf-posix		\
+  printf-posix-rpl	\
   snprintf		\
   sprintf-posix		\
   stdio_h		\