docker-playground/make
Oliver Smith 414acb7f4a make/Makefile: update DISTRO, UPSTREAM_DISTRO
Update the Makefile, so it does not pick the wrong base distribution
when running make in e.g. osmo-bsc-master directly (without going
through ttcn3-*/jenkins.sh as jenkins does).

Change-Id: I31b2a1b8c70b973f4ec0f93d6e9e5e417afec994
2023-09-27 12:26:09 +02:00
..
.make-release-support Import Makefile from https://github.com/mvanholsteijn/docker-makefile 2017-08-19 19:31:49 +02:00
Makefile make/Makefile: update DISTRO, UPSTREAM_DISTRO 2023-09-27 12:26:09 +02:00