Searched refs:DISTRO_RELEASE_FILE (Results 1 – 1 of 1) sorted by relevance
62 DISTRO_RELEASE_FILE="$i"67 if [ "x$DISTRO_RELEASE_FILE" = x ] ; then72 DISTRO_RELEASE_ABS_FILE="$etc_dir/$DISTRO_RELEASE_FILE"121 error "Bad release file: $etc_dir/$DISTRO_RELEASE_FILE"