X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Fprintf-frexpl;h=c50c4c7578835f11ac02f03107d7b53c5aa428f1;hb=448ec2a239c13424d2d6ddd47fd324a2bab2667f;hp=6221c4a56b52ccbd30a2dfbeef55a447987f5dd5;hpb=5d95b32a83f1663be6172f07b21ba7615b6055f4;p=pspp

diff --git a/modules/printf-frexpl b/modules/printf-frexpl
index 6221c4a56b..c50c4c7578 100644
--- a/modules/printf-frexpl
+++ b/modules/printf-frexpl
@@ -7,6 +7,7 @@ lib/printf-frexpl.h
 lib/printf-frexpl.c
 lib/printf-frexp.c
 m4/printf-frexpl.m4
+m4/frexpl.m4
 m4/ldexpl.m4
 
 Depends-on: