diff --git a/bootstrap b/bootstrap index 22db9922..25920e99 100755 --- a/bootstrap +++ b/bootstrap @@ -688,11 +688,8 @@ if $bootstrap_sync; then } fi -gnulib_tool=$GNULIB_SRCDIR/gnulib-tool.py -if ! <$gnulib_tool; then - gnulib_tool=$GNULIB_SRCDIR/gnulib-tool - <$gnulib_tool || exit $? -fi +gnulib_tool=$GNULIB_SRCDIR/gnulib-tool +<$gnulib_tool || exit $? # Get translations. diff --git a/gnulib b/gnulib index 73b4150c..a79f2a28 160000 --- a/gnulib +++ b/gnulib @@ -1 +1 @@ -Subproject commit 73b4150cce3060d6100f50c949bb0b2980e71821 +Subproject commit a79f2a2871a063a35e7865f1269ae15576f23419