Skip to content

Commit

Permalink
[trivial] Fix instruction.
Browse files Browse the repository at this point in the history
  • Loading branch information
jendrikseipp committed Oct 15, 2023
1 parent f6618a5 commit 34d1acb
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion build.py
Original file line number Diff line number Diff line change
Expand Up @@ -89,7 +89,7 @@ def try_run(cmd):
except OSError as exc:
if exc.errno == errno.ENOENT:
print(f"Could not find '{cmd[0]}' on your PATH. For installation instructions, "
"see https://www.fast-downward.org/ObtainingAndRunningFastDownward.")
"see BUILD.md in the project root directory.")
sys.exit(1)
else:
raise
Expand Down

0 comments on commit 34d1acb

Please sign in to comment.