diff options
author | Gary V. Vaughan <gary@gnu.org> | 2010-09-10 01:14:41 +0700 |
---|---|---|
committer | Gary V. Vaughan <gary@gnu.org> | 2011-10-23 14:33:21 +0700 |
commit | b868b7c48743870d2caea1a60077a066752bf0e1 (patch) | |
tree | fdeaaa978deab8f8a691e1b5fd48c6c749e69005 /.gitmodules | |
parent | 933f614f6c811eab79c1428969df1c381dec51b0 (diff) | |
download | libtool-b868b7c48743870d2caea1a60077a066752bf0e1.tar.gz |
maint: add gnulib submodule.
* configure.ac (GL_INIT, GL_EARLY): Initialise gnulib, and expand
its configure time checks.
* .gitmodules (gnulib): New file with configuration for our
gnulib git submodule.
Signed-off-by: Gary V. Vaughan <gary@gnu.org>
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 00000000..bb9e1baf --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "gnulib"] + path = gnulib + url = git://git.sv.gnu.org/gnulib.git |