Ignore RUSTSEC-2020-0006 for the moment (#9057)

automerge
2020-03-25 12:10:20 +09:00
parent 216b01b224
commit 5d3f43c10b
2 changed files with 9 additions and 2 deletions
--- a/ci/_
+++ b/ci/_
@@ -5,7 +5,13 @@
 # |source| me
 #

+base_dir=$(realpath --strip "$(dirname "$0")/..")
+
 _() {
-  echo "--- $*"
+  if [[ $(pwd) = $base_dir ]]; then
+    echo "--- $*"
+  else
+    echo "--- $* (wd: $(pwd))"
+  fi
  "$@"
 }