fixup mpc-boot

Change-Id: Ifba38b086d257018a9d0458459f290d78bed3cdb
This commit is contained in:
Efraim Flashner 2024-12-16 10:15:56 +02:00
parent ab096edd91
commit bc90eb474f
No known key found for this signature in database
GPG key ID: 41AAE7DCCA3D8351

View file

@ -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"