Merge branch 'master' into write_io_mapping

This commit is contained in:
tangxifan 2021-06-18 16:28:44 -06:00 committed by GitHub
commit 74d8e02b33
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -174,7 +174,7 @@ def generate_each_task_actions(taskname):
elif os.path.isdir(repo_tasks):
curr_task_dir = repo_tasks
else:
clean_up_and_exit("Task directory [%s] not found" % curr_task_dir)
clean_up_and_exit("Task directory [%s] not found" % taskname + " locally at [%s]" % local_tasks + " or in OpenFPGA task directory [%s]" % repo_tasks)
os.chdir(curr_task_dir)