diff options
Diffstat (limited to 'gnulib/modules/lib-ignore')
| m--------- | gnulib | 0 | ||||
| -rw-r--r-- | gnulib/modules/lib-ignore | 20 |
2 files changed, 20 insertions, 0 deletions
diff --git a/gnulib b/gnulib deleted file mode 160000 -Subproject 443bc5ffcf7429e557f4a371b0661abe98ddbc1 diff --git a/gnulib/modules/lib-ignore b/gnulib/modules/lib-ignore new file mode 100644 index 0000000..8fe1c32 --- /dev/null +++ b/gnulib/modules/lib-ignore @@ -0,0 +1,20 @@ +Description: +If possible, ignore libraries that are not depended on. + +Files: +m4/lib-ignore.m4 + +Depends-on: + +configure.ac: +gl_IGNORE_UNUSED_LIBRARIES + +Makefile.am: + +Include: + +License: +unlimited + +Maintainer: +Paul Eggert and Jim Meyering |