Searched refs:gnulib_tool_options (Results 1 – 1 of 1) sorted by relevance
1214 gnulib_tool_options="\1226 case "$gnulib_tool_options " in1228 *) gnulib_tool_options="$gnulib_tool_options --libtool" ;;1231 echo "$0: $gnulib_tool $gnulib_tool_options --import ..."1232 $gnulib_tool $gnulib_tool_options --import $gnulib_modules \