Commit 15810cc0 authored by Darshit Shah's avatar Darshit Shah

* bootstrap: Patch script to use the python tool

parent 9409aaeb
Pipeline #66402273 failed with stages
in 88 minutes and 5 seconds
......@@ -724,7 +724,11 @@ if $use_gnulib; then
}
fi
gnulib_tool=$GNULIB_SRCDIR/gnulib-tool
# Try to use the (experimental) python implementation when possible
gnulib_tool=$GNULIB_SRCDIR/gnulib-tool.py
if ! command -v python 2>&1 >/dev/null; then
gnulib_tool=$GNULIB_SRCDIR/gnulib-tool
fi
<$gnulib_tool || exit $?
fi
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment