diff --git a/pulley/build.rs b/pulley/build.rs
deleted file mode 100644
index 052b611abe6b..000000000000
--- a/pulley/build.rs
+++ /dev/null
@@ -1,21 +0,0 @@
-fn main() {
-    // let opt_level = std::env::var("OPT_LEVEL").unwrap();
-    // let target = std::env::var("TARGET").unwrap();
-    // dbg!(&opt_level);
-    // dbg!(&target);
-
-    // if let Ok(n) = opt_level.parse::<u32>() {
-    //     if n >= 2 {
-    //         match target.as_str() {
-    //             "x86_64-unknown-linux-gnu" => {
-    //                 println!("cargo:rustc-cfg=pulley_assume_llvm_makes_tail_calls");
-    //             }
-    //             _ => panic!(),
-    //         }
-    //     } else {
-    //         // panic!()
-    //     }
-    // } else {
-    //     panic!()
-    // }
-}