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(