I am about to push a patch which switches to using the git submodule
feature to manage the gnulib dependency (as opposed to using git
clone).   Because of the way submodules work and a preference for
compatibility with gnulib's "bootstrap" script, the gnulib code is now
checked out by git into "gnulib/" instead of the previous directory
"gnulib-git/".   The imported code will now go into "gl/" instead of
the previous "gnulib/".

The simplest way to deal with this if you have no local modifications
in "gnulib-git/" is to delete both directories before updating, and
then re-run import-gnulib.sh:

if [[ -f import-gnulib.sh ]]; then
  rm -rf gnulib/ gl/
  git pull && sh ./import-gnulib.sh
else
  echo "Are you sure this is the right place?" >&2
  false
fi



Thanks,
James.

Reply via email to