need to change commit since the dep file path changes

verus-lang · Jul 20, 2023 · e217bf1 · e217bf1
1 parent cfdc1ea
commit e217bf1
Showing 1 changed file with 4 additions and 10 deletions.
diff --git a/source/verus/src/main.rs b/source/verus/src/main.rs
@@ -192,8 +192,8 @@ pub fn exec(cmd: &mut Command, reports: Option<Reports>) -> Result<(), String> {
         } else {
             &dep
         };
-        create_dir_all(proj_path.join(rel_path.parent().unwrap())).unwrap();
 
+        create_dir_all(proj_path.join(rel_path.parent().unwrap())).unwrap();
         std::fs::copy(dep, proj_path.join(rel_path))
             .map_err(|err| format!("failed to copy file {} to repo_path {}", dep.display(), err))?;
     }
@@ -206,15 +206,9 @@ pub fn exec(cmd: &mut Command, reports: Option<Reports>) -> Result<(), String> {
         )
     })?;
 
-    Command::new("git")
-        .current_dir(&proj_path)
-        .arg("add")
-        .args(deps)
-        .arg("reports.toml")
-        .output()
-        .map_err(|x| {
-            format!("localstorage: failed to stage current project with error message: {}", x)
-        })?;
+    Command::new("git").current_dir(&proj_path).arg("add").arg(".").output().map_err(|x| {
+        format!("localstorage: failed to stage current project with error message: {}", x)
+    })?;
 
     std::process::Command::new("git")
         .current_dir(&proj_path)