X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=config%2Fsrclist.txt;h=31e7a01baae0f6b6b309353af33291f9a7e35405;hb=aeca137662d6d2a7eaade72667ace75322872254;hp=c7e41ef647ef65af29eb4aaf5bb4cd3802d44551;hpb=eae8e44ccfca3e367df3be11c3f5de48c4302093;p=pspp

diff --git a/config/srclist.txt b/config/srclist.txt
index c7e41ef647..31e7a01baa 100644
--- a/config/srclist.txt
+++ b/config/srclist.txt
@@ -218,6 +218,7 @@ $LIBCSRC/stdlib/strtoul.c		lib gpl
 #$LIBCSRC/sysdeps/unix/bsd/poll.c	lib gpl
 #$LIBCSRC/sysdeps/unix/bsd/ptsname.c	lib gpl
 #$LIBCSRC/sysdeps/unix/dirfd.c		lib gpl
+#$LIBCSRC/sysdeps/unix/grantpt.c	lib gpl
 #$LIBCSRC/sysdeps/unix/rmdir.c		lib gpl
 #$LIBCSRC/time/strftime.c		lib gpl
 # These are close, but we are using the gettext versions.