Merge pull request #28322 from ungaro/alp/allow-non-leo-files

allow non-leo files to be in src folder
ProvableHQ · Aug 15, 2024 · 245790f · 245790f
2 parents 9d247cf + a2ea19d
commit 245790f
Showing 1 changed file with 6 additions and 12 deletions.
diff --git a/leo/package/src/lib.rs b/leo/package/src/lib.rs
@@ -44,19 +44,13 @@ pub(crate) fn parse_file_paths(directory: ReadDir, file_paths: &mut Vec<PathBuf>
             parse_file_paths(directory, file_paths)?;
             continue;
         } else {
-            // Verify that the file has the Leo file extension
-            let file_extension = file_path
-                .extension()
-                .ok_or_else(|| PackageError::failed_to_get_leo_file_extension(file_path.as_os_str().to_owned()))?;
-            if file_extension != LEO_FILE_EXTENSION.trim_start_matches('.') {
-                return Err(PackageError::invalid_leo_file_extension(
-                    file_path.as_os_str().to_owned(),
-                    file_extension.to_owned(),
-                )
-                .into());
+            // If the extension doesn't match, we simply skip this file
+            // If there's no extension, we also skip this file
+            if let Some(file_extension) = file_path.extension() {
+                if file_extension == LEO_FILE_EXTENSION.trim_start_matches('.') {
+                    file_paths.push(file_path);
+                }
             }
-
-            file_paths.push(file_path);
         }
     }