Hi.

For the record, "sbcl" has been failing to build for me
100% of the time on machines with a single CPU at least
since version 2.3.7-2.

Please try GRUB_CMDLINE_LINUX="nr_cpus=1". If that does not
work, please contact me privately and I will gladly provide
a machine where it fails 100% of the time.

Thanks.

Reply via email to