diff --git a/.ci/isdistro b/.ci/isdistro
new file mode 100755
index 00000000..e8890032
--- /dev/null
+++ b/.ci/isdistro
@@ -0,0 +1,5 @@
+#!/bin/sh
+
+test "$#" -eq 1 || exit 2
+. /etc/os-release || exit 3
+test "$1" = "$VERSION_CODENAME" || test "$1" = "$ID"-"$VERSION_ID" || exit 1