From 51274e016b1d68d0bfa378a7d72f1c0112671f17 Mon Sep 17 00:00:00 2001 From: Jendrik Seipp Date: Sat, 30 Sep 2023 15:34:34 +0200 Subject: [PATCH] Don't depend on DOWNWARD_REVISION_CACHE being set. --- examples/downward/2020-09-11-B-bounded-cost.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/examples/downward/2020-09-11-B-bounded-cost.py b/examples/downward/2020-09-11-B-bounded-cost.py index aa15fdd9f..cdc26adf2 100755 --- 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="my.name@myhost.ch") ENV = project.TetralithEnvironment(