[php-src] Issue #14688: makedist script does not handle non-GNU systems correctly

From: Date: Mon, 08 Jul 2024 16:28:01 +0000
Subject: [php-src] Issue #14688: makedist script does not handle non-GNU systems correctly
Groups: php.bugs 
Request: Send a blank email to php-bugs+get-247253@lists.php.net to get a copy of this message
Issue: https://github.com/php/php-src/issues/14688 Closed by NattyNarwhal.

« previous php.bugs (#247253) next »