aboutsummaryrefslogtreecommitdiff
path: root/src/integration/targets.rs
diff options
context:
space:
mode:
authorOgulcan Celik <ogulcancelik@gmail.com>2026-07-22 23:06:52 +0300
committerOgulcan Celik <ogulcancelik@gmail.com>2026-07-22 23:06:52 +0300
commit7e821ba7a362cc634a705ea56e11b070b7b95784 (patch)
tree5d046524a8f0379090832a212d901bba3388ad45 /src/integration/targets.rs
parentcd5ea1be0e69ed49b6f32f7ed5b333f6c8526874 (diff)
fix: respect OMP config directory override
refs #1696
Diffstat (limited to 'src/integration/targets.rs')
-rw-r--r--src/integration/targets.rs7
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)?;