Don't depend on DOWNWARD_REVISION_CACHE being set.

silvansievers · Sep 30, 2023 · 51274e0 · 51274e0
1 parent b4ff79f
commit 51274e0
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/examples/downward/2020-09-11-B-bounded-cost.py b/examples/downward/2020-09-11-B-bounded-cost.py
@@ -18,8 +18,9 @@
 REMOTE_REPOS_DIR = "/infai/seipp/projects"
 BOUNDS_FILE = "bounds.json"
 SUITE = ["depot:p01.pddl", "grid:prob01.pddl", "gripper:prob01.pddl"]
-# If REVISION_CACHE is None, the default "./data/revision-cache/" is used.
-REVISION_CACHE = os.environ.get("DOWNWARD_REVISION_CACHE")
+REVISION_CACHE = (
+    os.environ.get("DOWNWARD_REVISION_CACHE") or project.DIR / "data" / "revision-cache"
+)
 if project.REMOTE:
     # ENV = project.BaselSlurmEnvironment(email="[email protected]")
     ENV = project.TetralithEnvironment(