Lines Matching refs:vc_files
1164 vc_files=
1431 vc_files=true
1434 vc_files=false
1507 || test -n "$witness_c_macro" || test -n "$vc_files"; then
5028 if test -z "$vc_files"; then
5029 vc_files="$cached_vc_files"
5406 if test -n "$vc_files"; then
5407 if test "$vc_files" = true; then
5727 if test -n "$vc_files"; then
5728 echo "gl_VC_FILES([$vc_files])"
5932 if test "$vc_files" != false; then
6247 vc_files=