From ffd4da296e9238db0379433f111de2a38a50200f Mon Sep 17 00:00:00 2001
From: Tropical <42101043+tropicaaal@users.noreply.github.com>
Date: Mon, 22 Dec 2025 23:33:04 -0600
Subject: [PATCH] remove unsupported pipe module from VEXos pal

---
 library/std/src/sys/pal/vexos/mod.rs | 2 --
 1 file changed, 2 deletions(-)

diff --git a/library/std/src/sys/pal/vexos/mod.rs b/library/std/src/sys/pal/vexos/mod.rs
index 3a37c8f2d4885..049b435905d43 100644
--- a/library/std/src/sys/pal/vexos/mod.rs
+++ b/library/std/src/sys/pal/vexos/mod.rs
@@ -1,6 +1,4 @@
 pub mod os;
-#[path = "../unsupported/pipe.rs"]
-pub mod pipe;
 pub mod time;
 
 #[expect(dead_code)]