pub fn deinit(man: *Manifest) void
Releases the manifest file and frees any memory the Manifest was using. Manifest.hit must be called first.
Manifest.hit
Don't forget to call writeManifest before this!
writeManifest
man: *Manifest
1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257
pub fn deinit(man: *Manifest) void { const io = man.cache.io; const gpa = man.cache.gpa; if (man.manifest_file) |file| { if (builtin.os.tag == .windows) { // See Lock.release for why this is required on Windows file.unlock(io); } file.close(io); } freeFiles(gpa, &man.files); man.* = undefined; }
Releases the manifest file and frees any memory the Manifest was using.
Manifest.hitmust be called first.Don't forget to call
writeManifestbefore this!