4 GNULIB=${HOME}/src/gnulib
6 if [ ! -d ${GNULIB} ]; then
8 Error: No gnulib checkout found at ${GNULIB}
10 Please checkout gnulib and/or update the GNULIB variable in this script.
11 The following command may be convenient:
13 git clone git://git.sv.gnu.org/gnulib.git
30 for file in $files; do
31 cp ${GNULIB}/lib/$file .
34 commit=$(cd ${GNULIB}; git rev-parse HEAD)
35 echo "Updated getdate source from gnulib commit:"