Searched refs:gnulib_tool (Results 1 – 1 of 1) sorted by relevance
1146 gnulib_tool=$GNULIB_SRCDIR/gnulib-tool1147 <$gnulib_tool || return1231 echo "$0: $gnulib_tool $gnulib_tool_options --import ..."1232 $gnulib_tool $gnulib_tool_options --import $gnulib_modules \