diff --git a/ChangeLog b/ChangeLog
index b8ca872..7439c5c 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2018-01-13  Ben Elliston  <bje@gnu.org>
+
+	* config.sub (maybe_os): Remove -rtmk-nova* pattern as it is
+	matched by -rtmk* immediately preceding it. Found by Shellcheck.
+
 2018-01-13  Ben Elliston  <bje@gnu.org>
 
 	* config.sub (maybe_os): Remove duplicate sh64 case as it is
diff --git a/config.sub b/config.sub
index 113bb4c..49f5039 100755
--- a/config.sub
+++ b/config.sub
@@ -1407,7 +1407,7 @@ case $os in
 	      | -openstep* | -oskit* | -conix* | -pw32* | -nonstopux* \
 	      | -storm-chaos* | -tops10* | -tenex* | -tops20* | -its* \
 	      | -os2* | -vos* | -palmos* | -uclinux* | -nucleus* \
-	      | -morphos* | -superux* | -rtmk* | -rtmk-nova* | -windiss* \
+	      | -morphos* | -superux* | -rtmk* | -windiss* \
 	      | -powermax* | -dnix* | -nx6 | -nx7 | -sei* | -dragonfly* \
 	      | -skyos* | -haiku* | -rdos* | -toppers* | -drops* | -es* \
 	      | -onefs* | -tirtos* | -phoenix* | -fuchsia* | -redox* | -bme*)