diff options
Diffstat (limited to 'tools/build/make.py')
| -rwxr-xr-x | tools/build/make.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/build/make.py b/tools/build/make.py index 73788a8896c7..ec42cb70dd21 100755 --- a/tools/build/make.py +++ b/tools/build/make.py @@ -243,7 +243,7 @@ if __name__ == "__main__": sys.exit("MAKEOBJDIRPREFIX is not set, cannot continue!") if not Path(MAKEOBJDIRPREFIX).is_dir(): sys.exit( - "Chosen MAKEOBJDIRPREFIX=" + MAKEOBJDIRPREFIX + " doesn't exit!") + "Chosen MAKEOBJDIRPREFIX=" + MAKEOBJDIRPREFIX + " doesn't exist!") objdir_prefix = Path(MAKEOBJDIRPREFIX).absolute() source_root = Path(__file__).absolute().parent.parent.parent |