diff options
| author | Aetias <aetias@outlook.com> | 2025-03-15 16:42:04 +0100 |
|---|---|---|
| committer | Aetias <aetias@outlook.com> | 2025-03-15 16:42:04 +0100 |
| commit | 5a69a0816934044dfa9ea152732e029d2b3f2d2b (patch) | |
| tree | 146992945eff1a742079ac894b1e5ef6f242a6ed | |
| parent | 4392bb30ebabf312bb23b733f96afbc3462e1d38 (diff) | |
Use `--dsd` path correctly
| -rwxr-xr-x | tools/configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/configure.py b/tools/configure.py index d8681804..df5996d8 100755 --- a/tools/configure.py +++ b/tools/configure.py @@ -95,7 +95,7 @@ if platform is None: exit(1) EXE = platform.exe WINE = args.wine if platform.system != "windows" else "" -DSD = os.path.join('.', str(root_path / f"dsd{EXE}")) +DSD = args.dsd or os.path.join('.', str(root_path / f"dsd{EXE}")) OBJDIFF = os.path.join('.', str(root_path / f"objdiff-cli{EXE}")) CC = os.path.join('.', str(mwcc_path / "mwccarm.exe")) LD = os.path.join('.', str(mwcc_path / "mwldarm.exe")) |