Skip to content

Commit 758ab7d

Browse files
committed
objinfo: take possible .exe extension into account when calling objinfo_helper
1 parent 16006d5 commit 758ab7d

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

tools/objinfo.ml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -244,7 +244,8 @@ let dump_byte ic =
244244
toc
245245

246246
let find_dyn_offset filename =
247-
let helper = Filename.concat Config.standard_library "objinfo_helper" in
247+
let helper_name = "objinfo_helper" ^ Config.ext_exe in
248+
let helper = Filename.concat Config.standard_library helper_name in
248249
let tempfile = Filename.temp_file "objinfo" ".out" in
249250
match
250251
Fun.protect

0 commit comments

Comments
 (0)