=== modified file 'mandos'
--- mandos	2022-04-24 12:21:33 +0000
+++ mandos	2022-04-24 16:02:58 +0000
@@ -3710,10 +3710,12 @@
 # 	    default-directory dir)
 #     (erase-buffer)
 #     (compilation-mode))
-#   (let ((inhibit-read-only t))
-#     (= (process-file-shell-command
-# 	  (funcall get-command-line extra)
-# 	  nil "*Test*") 0)))
+#   (let ((process-result
+# 	   (let ((inhibit-read-only t))
+# 	     (process-file-shell-command
+# 	      (funcall get-command-line extra) nil "*Test*"))))
+#     (and (numberp process-result)
+# 	   (= process-result 0))))
 # get-command-line:
 # (lambda (&optional extra)
 #   (let ((quoted-script

=== modified file 'mandos-ctl'
--- mandos-ctl	2022-04-24 11:36:40 +0000
+++ mandos-ctl	2022-04-24 16:02:58 +0000
@@ -2858,10 +2858,12 @@
 # 	    default-directory dir)
 #     (erase-buffer)
 #     (compilation-mode))
-#   (let ((inhibit-read-only t))
-#     (= (process-file-shell-command
-# 	  (funcall get-command-line extra)
-# 	  nil "*Test*") 0)))
+#   (let ((process-result
+# 	   (let ((inhibit-read-only t))
+# 	     (process-file-shell-command
+# 	      (funcall get-command-line extra) nil "*Test*"))))
+#     (and (numberp process-result)
+# 	   (= process-result 0))))
 # get-command-line:
 # (lambda (&optional extra)
 #   (let ((quoted-script