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