Searched refs:gnulib_tool_options (Results 1 – 1 of 1) sorted by relevance
544 gnulib_tool_options="\556 echo "$0: $gnulib_tool $gnulib_tool_options --import ..."557 $gnulib_tool $gnulib_tool_options --import $gnulib_modules &&