mirror of
https://https.git.savannah.gnu.org/git/guix.git/
synced 2025-07-12 10:00:46 +02:00
fd256bb786
* gnu/packages/patches/mono-2.4.2.3-fix-parallel-builds.patch: New file. * gnu/packages/patches/mono-2.4.2.3-reproducibility.patch: New file. * gnu/local.mk (dist_patch_DATA): Add references to those patches. * gnu/packages/dotnet.scm (mono-2.4.2.3)[source]: Use those patches. [arguments]<#:phases>[disable-mono-mini-timestamps]: New phase. Change-Id: Ib0a57d2e93b8b72c10fa9854a77eadeee578266c Reviewed-by: Ludovic Courtès <ludo@gnu.org> Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
20 lines
929 B
Diff
20 lines
929 B
Diff
Author: Danny Milosavljevic <dannym@friendly-machines.com>
|
|
Date: Mon Jun 9 12:06:40 PM CEST 2025
|
|
Subject: Fix parallel builds
|
|
|
|
diff -ru orig/7pmpv2pzi9xirz7fc8pzjb9d1qnscvdh-mono-2.4.2.3-checkout/scripts/Makefile.am 7pmpv2pzi9xirz7fc8pzjb9d1qnscvdh-mono-2.4.2.3-checkout/scripts/Makefile.am
|
|
--- orig/7pmpv2pzi9xirz7fc8pzjb9d1qnscvdh-mono-2.4.2.3-checkout/scripts/Makefile.am 2025-06-09 12:02:29.749177390 +0200
|
|
+++ 7pmpv2pzi9xirz7fc8pzjb9d1qnscvdh-mono-2.4.2.3-checkout/scripts/Makefile.am 2025-06-09 12:05:00.125919505 +0200
|
|
@@ -236,9 +236,6 @@
|
|
mv $@.tmp $@
|
|
|
|
$(MDOC_SUBCOMMANDS): Makefile
|
|
- for script in $(MDOC_SUBCOMMANDS) ; do \
|
|
- cmd=`echo $$script | sed 's/mdoc-//'` ; \
|
|
- echo "#!/bin/sh" > $$script ; \
|
|
- echo "exec mdoc $$cmd \"\$$@\"" >> $$script; \
|
|
- done
|
|
-
|
|
+ cmd=`echo $@ | sed 's/mdoc-//'` ; \
|
|
+ echo "#!/bin/sh" > $@ ; \
|
|
+ echo "exec mdoc $$cmd \"\$$@\"" >> $@
|