diff options
| -rw-r--r-- | nt/gnulib.mk | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/nt/gnulib.mk b/nt/gnulib.mk index 7c9cc19946..6884bf9f07 100644 --- a/nt/gnulib.mk +++ b/nt/gnulib.mk @@ -453,6 +453,13 @@ EXTRA_libgnu_a_SOURCES += group-member.c ## end gnulib module group-member +## begin gnulib module ignore-value + + +EXTRA_DIST += ignore-value.h + +## end gnulib module ignore-value + ## begin gnulib module intprops |