diff --git a/src/FileCheck b/src/FileCheck index 8e39ec5..0ba25d2 100755 --- a/src/FileCheck +++ b/src/FileCheck @@ -65,7 +65,11 @@ def dump_check(check): # FileCheck always prints its first argument. -print(sys.argv[0]) +filecheck_path = sys.argv[0] +if os.path.exists(filecheck_path): + filecheck_path = os.path.abspath(filecheck_path) + +print(filecheck_path) if len(sys.argv) == 1: print(" not specified")