diff options
| author | Ogulcan Celik <ogulcancelik@gmail.com> | 2026-07-22 23:06:52 +0300 |
|---|---|---|
| committer | Ogulcan Celik <ogulcancelik@gmail.com> | 2026-07-22 23:06:52 +0300 |
| commit | 7e821ba7a362cc634a705ea56e11b070b7b95784 (patch) | |
| tree | 5d046524a8f0379090832a212d901bba3388ad45 /src/integration/targets.rs | |
| parent | cd5ea1be0e69ed49b6f32f7ed5b333f6c8526874 (diff) | |
fix: respect OMP config directory override
refs #1696
Diffstat (limited to 'src/integration/targets.rs')
| -rw-r--r-- | src/integration/targets.rs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/integration/targets.rs b/src/integration/targets.rs index 99c150a3..5d5e730c 100644 --- a/src/integration/targets.rs +++ b/src/integration/targets.rs @@ -69,6 +69,13 @@ pub(crate) fn install_pi() -> io::Result<PathBuf> { pub(crate) fn install_omp() -> io::Result<OmpInstallPaths> { let dir = omp_extension_dir()?; + let pi_dir = pi_extension_dir()?; + if dir == pi_dir { + return Err(io::Error::other(format!( + "Pi and OMP resolve to the same extension directory at {}; configure separate agent directories before installing OMP", + dir.display() + ))); + } ensure_extension_dir(&dir, "omp")?; let removed_legacy_pi_extension = remove_legacy_pi_extension_from_omp_dir(&dir)?; |
