Searched refs:local_gl_dir (Results 1 – 1 of 1) sorted by relevance
114 local_gl_dir=gl422 if test -d "$local_gl_dir" \423 && ! find "$local_gl_dir" -name '*.diff' -exec false {} +; then1222 --local-dir=$local_gl_dir\