diff --git a/gencode-remote b/gencode-remote
index 1dab9e9..dcc766c 100755
--- a/gencode-remote
+++ b/gencode-remote
@@ -11,6 +11,9 @@ case "$os_version" in
     8*)
         :
     ;;
+    9*)
+        :
+    ;;
     *)
         echo "Unsupported version $os_version of $os." >&2
         exit 1
diff --git a/manifest b/manifest
index 917d170..3b8c74c 100644
--- a/manifest
+++ b/manifest
@@ -11,6 +11,9 @@ case "$os_version" in
     8*)
         :
     ;;
+    9*)
+        :
+    ;;
     *)
         echo "Unsupported version $os_version of $os." >&2
         exit 1