> $ grep mariadb results/* > results/results_dumped.txt:libmariadb-dev > results/results_failed.txt:libmariadbd-dev > results/results_none.txt:libmariadb-dev > $ > > There was nothing unintentional here. libmariadb-dev is clean wrt time_t. > libmariadbd-dev failed to be analyzed because it has header ordering > requirements which did not get resolved. > > https://adrien.dcln.fr/misc/armhf-time_t/2024-02-03T09:18:00/logs/libmariadbd-dev/base/log.txt > > Much better that there be a library transition only for the lesser-used > library!
Ok, good. Thanks for the clarification!