[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#69908: dist-no-built-sources vs. no-dist-built-sources vs. dist-buil
From: |
Karl Berry |
Subject: |
bug#69908: dist-no-built-sources vs. no-dist-built-sources vs. dist-built-sources |
Date: |
Fri, 22 Mar 2024 16:27:30 -0600 |
The output I got from this and dist-no-built-sources.log is rather
interesting. As it looks, the test is indeed broken from the beginning.
Thank you very much, Jens. We'll deal with this asap. Your original
analysis that we simply don't recognize the right option name is looking
correct :) :(.
(Bogdan, want to give it a look? I am consumed with other projects for
the time being.) --thanks, karl.