Searched refs:DISTRO (Results 1 – 2 of 2) sorted by relevance
76 DISTRO=gentoo82 DISTRO=redhat84 DISTRO=fedora105 case "$DISTRO" in124 echo "$DISTRO-$VERSION"
530 $(MKOSI) -C $(top_srcdir)/testsuite/mkosi --build-sources ../../ --default mkosi.${DISTRO} -fi