github-repos/wget
1
0
Fork 0
mirror of https://github.com/mirror/wget.git synced 2025-04-01 23:20:32 +08:00
Code Issues Packages Projects Releases Wiki Activity

* gnulib: Update library

Browse Source
This commit is contained in:
Darshit Shah 2018-10-15 14:00:18 +02:00
parent 85310bfa58
commit d18f78b86b
2 changed files with 3 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
bootstrap
View File

@ -688,11 +688,8 @@ if $bootstrap_sync; then
} }
fi fi
gnulib_tool=$GNULIB_SRCDIR/gnulib-tool.py gnulib_tool=$GNULIB_SRCDIR/gnulib-tool
if ! <$gnulib_tool; then <$gnulib_tool || exit $?
gnulib_tool=$GNULIB_SRCDIR/gnulib-tool
<$gnulib_tool || exit $?
fi
# Get translations. # Get translations.

2
gnulib

@ -1 +1 @@
Subproject commit 73b4150cce3060d6100f50c949bb0b2980e71821 Subproject commit a79f2a2871a063a35e7865f1269ae15576f23419