File tree Expand file tree Collapse file tree 1 file changed +5
-4
lines changed Expand file tree Collapse file tree 1 file changed +5
-4
lines changed Original file line number Diff line number Diff line change @@ -3873,10 +3873,11 @@ let writeBinaryAndReportMappings (outfile,
38733873 // Update MVID guid in metadata
38743874 Array.blit final 0 metadata guidStart 16
38753875
3876- // Use last 4 bytes for timestamp
3877- writeBytes os [| final.[ 16 ] ||| 128 uy ; final.[ 17 ]; final.[ 18 ]; final.[ 19 ] |] // High bit set, to stop tool chains becoming confused
3878- // Update pdbData with new guid
3879- { pdbData with ModuleID = final.[ 0 .. 15 ] }
3876+ // Use last 4 bytes for timestamp - High bit set, to stop tool chains becoming confused
3877+ let timestamp = int final.[ 16 ] ||| ( int final.[ 17 ] <<< 8 ) ||| ( int final.[ 18 ] <<< 16 ) ||| ( int ( final.[ 19 ] ||| 128 uy) <<< 24 )
3878+ writeInt32 os timestamp
3879+ // Update pdbData with new guid and timestamp. // TOOD: this may need to be moved earlier, or MVID in pdb also fixed up (but difficult if compressed)
3880+ { pdbData with ModuleID = final.[ 0 .. 15 ] ; Timestamp = timestamp }
38803881 else
38813882 writeInt32 os timestamp // date since 1970
38823883 pdbData
You can’t perform that action at this time.
0 commit comments