From dbe80ea323de3ba00566917997baab6052639965 Mon Sep 17 00:00:00 2001
From: Morgan Funtowicz <funtowiczmo@gmail.com>
Date: Thu, 9 Jan 2025 14:08:46 +0100
Subject: [PATCH] misc(ci): detect dev profile for debug

---
 backends/trtllm/build.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/backends/trtllm/build.rs b/backends/trtllm/build.rs
index f90339d0..4d907954 100644
--- a/backends/trtllm/build.rs
+++ b/backends/trtllm/build.rs
@@ -212,6 +212,7 @@ fn main() {
     let build_profile = env::var("PROFILE").unwrap();
     let (is_debug, opt_level) = match build_profile.as_ref() {
         "debug" => (true, "0"),
+        "dev" => (true, "0"),
         _ => (false, "3"),
     };