diff options
| author | Remi Collet <remi@remirepo.net> | 2023-12-06 11:44:41 +0100 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2023-12-06 11:44:41 +0100 |
| commit | 3370aef6419d2308a3e28207723425de0d46b898 (patch) | |
| tree | 380dfaded55b7de215c1dc98a07c9d6b26991710 | |
| parent | ef52a494390b92c41b2bde70c711e97031d5c7f4 (diff) | |
use 8.1 to create the sources archive
| -rwxr-xr-x | makesrc.sh | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -18,6 +18,7 @@ echo "Getting commit..." git checkout $COMMIT || exit 1 cp composer.json ../ + module load php81 composer config platform.php 8.1.99 composer install --no-interaction --no-progress --no-dev --optimize-autoloader cp vendor/composer/installed.json ../ |