X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Fargmatch;h=0dd643cdfbdd7a0eee39ed91c193e5b48ac402d8;hb=78008cd2e8a58cda0d3c279ba0ee20dbd7598317;hp=fade39096edd457449dc87f9411776eb421dfa12;hpb=665b69d9f8d07a9b569a68e8037f911fa2031776;p=pspp

diff --git a/modules/argmatch b/modules/argmatch
index fade39096e..0dd643cdfb 100644
--- a/modules/argmatch
+++ b/modules/argmatch
@@ -15,6 +15,7 @@ exit
 exitfail
 verify
 stdbool
+memcmp
 
 configure.ac:
 gl_ARGMATCH