Index: src/platform/microbenchmark/debian/compat |
diff --git a/src/platform/microbenchmark/debian/compat b/src/platform/microbenchmark/debian/compat |
new file mode 100644 |
index 0000000000000000000000000000000000000000..7f8f011eb73d6043d2e6db9d2c101195ae2801f2 |
--- /dev/null |
+++ b/src/platform/microbenchmark/debian/compat |
@@ -0,0 +1 @@ |
+7 |