diff options
-rw-r--r-- | HACKING | 5 | ||||
-rwxr-xr-x | autogen.sh | 12 |
2 files changed, 17 insertions, 0 deletions
@@ -20,8 +20,13 @@ Generally, the versions of these tools bundled with the latest stable release of Debian GNU/Linux will work. For Gnulib, we will use the latest git checkouts from: + git://git.savannah.gnu.org/gnulib.git +We currently require gnulib commit 41d1b6c42641a5b9e21486ca2074198ee7909bd7 +("mountlist: add support for deallocating returned list entries") +or later (from July 2013) for free_mount_entry support + For gcov code coverage reports, we rely on "gcov2perl" and "cover" from the Devel::Cover Perl module: @@ -4,6 +4,18 @@ glver="$(gnulib-tool --version | head -n1)" if gnulib-tool --update && autoreconf -i then echo "$glver" > .gnulib-version + if ! grep -w free_mount_entry >/dev/null lib/mountlist.h + then + cat >&2 <<EOF + +ERROR: gnulib too old +gnulib commit 41d1b6c42641a5b9e21486ca2074198ee7909bd7 +("mountlist: add support for deallocating returned list entries") +or later (from July 2013) for free_mount_entry support + +EOF + exit 1 + fi exit 0 fi cat HACKING |