1 files changed, 14 insertions, 0 deletions
diff --git a/test cases/common/14 configure file/check_file.py b/test cases/common/14 configure file/check_file.py
new file mode 100644
index 000000000..6aa73e0a9
--- /dev/null
+++ b/test cases/common/14 configure file/check_file.py
@@ -0,0 +1,14 @@
+#!/usr/bin/env python3
+
+import os
+import sys
+
+if len(sys.argv) == 2:
+    assert(os.path.exists(sys.argv[1]))
+elif len(sys.argv) == 3:
+    f1 = open(sys.argv[1], 'rb').read()
+    f2 = open(sys.argv[2], 'rb').read()
+    if f1 != f2:
+        raise RuntimeError('{!r} != {!r}'.format(f1, f2))
+else:
+    raise AssertionError