devops: Punt checking wrong version in .desktop file.

diff --git a/src/devops/devops.scm b/src/devops/devops.scm
index fbbe19d56ec734843933247cc87f1a0b6aa33b93..207eae998364ffeadefc56c48239a259475831c9 100644 (file)
--- a/src/devops/devops.scm
+++ b/src/devops/devops.scm
@@ -74,7 +74,6 @@ Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
      (dirt-lint dirt)
      (debian-version-lint version (debian-version "."))
      (released-version-lint version (released-version (project-name)) changes)
-     (desktop-version-lint version)
      (if core-lint-hook
         (core-lint-hook version changes dirt)
         '()))))
@@ -131,14 +130,6 @@ Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
        (else
         '())))
 
-(define (desktop-version-lint version)
-  (let ((line (find (lambda (l) (string-prefix? "Version=" l))
-                   (file-lines "debian/mit-scheme-pucked.desktop"))))
-    (cond ((not line) (list "File not found: debian/mit-scheme-pucked.desktop"))
-         ((not (string=? line (string "Version=" (version-string version))))
-          (list "Version mismatch in debian/mit-scheme-pucked.desktop."))
-         (else '()))))
-
 (define (dirt-lint dirt)
   (if (pair? dirt)
       (cons "Uncommitted files:" dirt)