Lines Matching refs:vc_files

991   vc_files=
1255         vc_files=true
1258         vc_files=false
1323        || test -n "$witness_c_macro" || test -n "$vc_files"; then
4436     if test -z "$vc_files"; then
4437       vc_files="$cached_vc_files"
4837   if test -n "$vc_files"; then
4838     if test "$vc_files" = true; then
5136     if test -n "$vc_files"; then
5137       echo "gl_VC_FILES([$vc_files])"
5339   if test "$vc_files" != false; then
5632   vc_files=