Searched refs:extra_args (Results 1 - 1 of 1) sorted by relevance
| /opengrok/ | ||
| H A D | OpenGrok | 889 extra_args="" 891 if [ -n "$extra_args" ]; then 892 extra_args="$extra_args -h $arg" 894 extra_args="-h $arg" 897 CommonInvocation $extra_args "$@" |
Completed in 10 milliseconds