set PHP_DIST_NAME

c9s · c9s · commit da6f5e11b1e7 · 2019-03-10T15:54:25.000+08:00
diff --git a/phpbrew/ubuntu18.04-php7.2-minimum-zts/buildargs.sh b/phpbrew/ubuntu18.04-php7.2-minimum-zts/buildargs.sh
@@ -1,2 +1,3 @@
 PHP_VERSION=7.2
+PHP_DIST_NAME=7.2
 PHP_VARIANTS="+zts+debug"
diff --git a/phpbrew/ubuntu18.04-php7.2-minimum/buildargs.sh b/phpbrew/ubuntu18.04-php7.2-minimum/buildargs.sh
@@ -1 +1,2 @@
 PHP_VERSION=7.2
+PHP_DIST_NAME=7.2
diff --git a/phpbrew/ubuntu18.04-php7.3-minimum/buildargs.sh b/phpbrew/ubuntu18.04-php7.3-minimum/buildargs.sh
@@ -1 +1,2 @@
 PHP_VERSION=7.3
+PHP_DIST_NAME=7.3
