From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Sat, 4 Nov 2017 00:10:29 +0000 (-0700)
Subject: devops: Punt checking wrong version in .desktop file.
X-Git-Tag: mit-scheme-pucked-9.2.12~37
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=feed482f00c758b9f5a454f9c0228598b846b6f7;p=mit-scheme.git

devops: Punt checking wrong version in .desktop file.
---

diff --git a/src/devops/devops.scm b/src/devops/devops.scm
index fbbe19d56..207eae998 100644
--- 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)