From 79327e7b5fcca73c9c7c4a2987a6bd8ffd738e46 Mon Sep 17 00:00:00 2001 From: Jonas 'Sortie' Termansen Date: Sat, 9 Jul 2022 20:01:49 +0200 Subject: [PATCH] Fix distclean-ports removing ports in development. --- build-aux/clean-ports.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build-aux/clean-ports.sh b/build-aux/clean-ports.sh index fe47d6cf..92812b0c 100755 --- a/build-aux/clean-ports.sh +++ b/build-aux/clean-ports.sh @@ -29,7 +29,7 @@ for PACKAGE in $("$(dirname -- "$0")"/list-packages.sh 'all!'); do DEVELOPMENT=$(tix-vars -d false $SORTIX_PORTS_DIR/$PACKAGE/$PACKAGE.port \ DEVELOPMENT) if [ "$DEVELOPMENT" = true ]; then - case "$SORTIX_PORTS_DIR/$PACKAGE/$PACKAGE.version" in + case "$(cat "$SORTIX_PORTS_DIR/$PACKAGE/$PACKAGE.version")" in *.development) echo "Port is in development: '$SORTIX_PORTS_DIR/$PACKAGE/$PACKAGE'" continue