Ignore permission error.

usualoma · usualoma · commit 11efb6daacbc · 2022-07-14T12:10:30.000+09:00
diff --git a/bin/teardown-environment b/bin/teardown-environment
@@ -1,3 +1,4 @@
 #!/bin/bash -e
 
-rm -fr /tmp/mt-dev-archive-temp-*
+rm -fr /tmp/mt-dev-archive-temp-* || \
+    echo "Failed to remove temporary directory:" /tmp/mt-dev-archive-temp-*
