|
From: | GNU bug Tracking System |
Subject: | bug#71072: closed ([PATCH] gnu: rmlint: Use default scons.) |
Date: | Tue, 18 Jun 2024 08:29:02 +0000 |
Your message dated Tue, 18 Jun 2024 08:28:12 +0000 with message-id <c8062c0aa03a80b873673479f7538150bc457c7a@dismail.de> and subject line Re: [PATCH] gnu: rmlint: Use default scons. has caused the debbugs.gnu.org bug report #71072, regarding [PATCH] gnu: rmlint: Use default scons. to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 71072: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=71072 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems
--- Begin Message ---Subject: [PATCH] gnu: rmlint: Use default scons. Date: Sun, 19 May 2024 22:59:28 +0200 * gnu/packages/disk.scm (rmlint): Use default scons. Change-Id: I84f66876f8acaee719f657ca85693bc23a8d0c4d --- gnu/packages/disk.scm | 1 - 1 file changed, 1 deletion(-) diff --git a/gnu/packages/disk.scm b/gnu/packages/disk.scm index 10d546b9187..9b161182e4c 100644 --- a/gnu/packages/disk.scm +++ b/gnu/packages/disk.scm @@ -1245,7 +1245,6 @@ (define-public rmlint (build-system scons-build-system) (arguments (list - #:scons scons-python2 #:scons-flags #~(list (string-append "--prefix=" #$output) (string-append "--actual-prefix=" #$output)) -- 2.41.0
--- End Message ---
--- Begin Message ---Subject: Re: [PATCH] gnu: rmlint: Use default scons. Date: Tue, 18 Jun 2024 08:28:12 +0000 Applied! Thanks, jgart
--- End Message ---
[Prev in Thread] | Current Thread | [Next in Thread] |