| git.druid.rocks | index | druid520 | ports | ports/ | build-tools/ | shinobi/ | del.sh |
ports/build-tools/shinobi/del.sh
set -e
# no "uninstall" ninja target exists (only "install" -- confirmed
# directly against its own build.ninja); mp's own manifest-diff
# mechanism already tracks and removes the installed files, same as
# every other port that lacks one.
rm -rf shinobi