X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Fvasprintf-posix-tests;h=221ccd1090a4a78f4f708e1d5f9ae8b1c6a87c31;hb=0a56509612c0b43a3f05361ecfb73b8b39f8e66c;hp=485e513b75f24f666271b09298ad21ccea8d21e6;hpb=9f88c0b0e0cfa8a9c25f1db4f58b837c7b891575;p=pspp

diff --git a/modules/vasprintf-posix-tests b/modules/vasprintf-posix-tests
index 485e513b75..221ccd1090 100644
--- a/modules/vasprintf-posix-tests
+++ b/modules/vasprintf-posix-tests
@@ -1,5 +1,6 @@
 Files:
 tests/test-vasprintf-posix.c
+tests/nan.h
 
 Depends-on:
 stdint