is-empty-check on constant read from environment var

bertiqwerty · Jun 23, 2024 · 962a38d · 962a38d
1 parent 6203877
commit 962a38d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/rvimage/src/rvlib/util.rs b/rvimage/src/rvlib/util.rs
@@ -49,6 +49,7 @@ pub fn natural_cmp(s1: &str, s2: &str) -> Ordering {
 pub fn version_label() -> String {
     const VERSION: &str = env!("CARGO_PKG_VERSION");
     const GIT_DESC: &str = env!("GIT_DESC");
+    #[allow(clippy::const_is_empty)]
     if !GIT_DESC.is_empty() {
         const GIT_DIRTY: &str = env!("GIT_DIRTY");
         let is_dirty = GIT_DIRTY == "true";