Index: tools/plot-timer-events |
diff --git a/tools/plot-timer-events b/tools/plot-timer-events |
index 87ae0a087789320154f7fe684e12719e0b2b4691..15f28ac22b5b849314ff745b305be51a75b9a194 100755 |
--- a/tools/plot-timer-events |
+++ b/tools/plot-timer-events |
@@ -15,7 +15,7 @@ if test ! "$D8_PATH"; then |
if test -x "$d8_public"; then D8_PATH=$(dirname "$d8_public"); fi |
fi |
-if test -n "$D8_PATH"; then |
+if test ! -n "$D8_PATH"; then |
D8_PATH=$tools_path/.. |
fi |