diff --git a/tools/testfile b/tools/testfile new file mode 100644 index 0000000000000..26918572ece0b --- /dev/null +++ b/tools/testfile @@ -0,0 +1 @@ +testfile