fixup! Add ports to the Sortix repository.

This commit is contained in:
Jonas 'Sortie' Termansen 2022-01-29 13:25:40 +01:00
parent cd61a8f336
commit 7109056fe9
1 changed files with 4 additions and 1 deletions

View File

@ -45,5 +45,8 @@ for PACKAGE in $(get_all_packages); do
--end=clean \
"$SORTIX_PORTS_DIR/$PACKAGE/$PACKAGE"
# TODO: New top-level makefile target for this.
rm -rf "$SORTIX_PORTS_DIR/$PACKAGE/$PACKAGE"
if [ -e "$SORTIX_PORTS_DIR/$PACKAGE/$PACKAGE" ]; then
echo "Removing '$SORTIX_PORTS_DIR/$PACKAGE/$PACKAGE'"
rm -rf "$SORTIX_PORTS_DIR/$PACKAGE/$PACKAGE"
fi
done