From bc90eb474fbc9efc9bfaa5b65bb94bfe546f33f0 Mon Sep 17 00:00:00 2001
From: Efraim Flashner <efraim@flashner.co.il>
Date: Mon, 16 Dec 2024 10:15:56 +0200
Subject: [PATCH] fixup mpc-boot

Change-Id: Ifba38b086d257018a9d0458459f290d78bed3cdb
---
 gnu/packages/commencement.scm | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/gnu/packages/commencement.scm b/gnu/packages/commencement.scm
index 82dc5f3f9ae..1119740b2de 100644
--- a/gnu/packages/commencement.scm
+++ b/gnu/packages/commencement.scm
@@ -1736,8 +1736,7 @@ ac_cv_c_float_format='IEEE (little-endian)'
        #:configure-flags
        #~(list #$@(if (target-x86?)
                       #~()
-                      #~("CC=tcc"
-                         "CFLAGS=-DHAVE_ALLOCA_H"))
+                      #~("CC=tcc"))
                (string-append "--build=" #$(commencement-build-target))
                (string-append "--host=" #$(commencement-build-target))
                "--enable-static"