From 632f64b2ce0abc66efb72a171dbf0d5ec9a57b1f Mon Sep 17 00:00:00 2001
From: Anand Krishnamoorthi <anakrish@microsoft.com>
Date: Tue, 16 Dec 2025 09:36:24 -0600
Subject: [PATCH] fix: remove non-existent feature use in git push hook

Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
---
 scripts/pre-push | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/pre-push b/scripts/pre-push
index 3521f73..f49e6fe 100755
--- a/scripts/pre-push
+++ b/scripts/pre-push
@@ -16,7 +16,7 @@ if [ -f Cargo.toml ]; then
    # Build for a target that has no std available.
    if command -v rustup > /dev/null; then
        rustup target add thumbv7m-none-eabi
-       (cd tests/ensure_no_std; cargo build -r --target thumbv7m-none-eabi --no-default-features --features opa-no-std)
+       (cd tests/ensure_no_std; cargo build -r --target thumbv7m-none-eabi)
    fi
 
    # Ensure that we can build with only std.