diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1998-04-14 14:48:34 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1998-04-14 14:48:34 +0000 |
| commit | fd8ea5980720ab1a53f5c732ef3211367b233823 (patch) | |
| tree | 92e803cf8a66311a1b9b4633fb0b8d2284bf635b /toplevel/expunge.ml | |
| parent | 2d4b4b54ac39ea3323fb30300696bc77645f3932 (diff) | |
Ajout des options -make_runtime et -use_runtime
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1920 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel/expunge.ml')
| -rw-r--r-- | toplevel/expunge.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/toplevel/expunge.ml b/toplevel/expunge.ml index d9b60bb4b..ad883c507 100644 --- a/toplevel/expunge.ml +++ b/toplevel/expunge.ml @@ -40,9 +40,9 @@ let main () = to_keep := StringSet.add (String.capitalize Sys.argv.(i)) !to_keep done; let ic = open_in_bin input_name in - let pos_trailer = - in_channel_length ic - 20 - String.length Config.exec_magic_number in + let pos_trailer = in_channel_length ic - 36 in seek_in ic pos_trailer; + let path_size = input_binary_int ic in let code_size = input_binary_int ic in let prim_size = input_binary_int ic in let data_size = input_binary_int ic in @@ -70,6 +70,7 @@ let main () = output_value oc (expunge_map global_map); let pos2 = pos_out oc in (* Rewrite the trailer *) + output_binary_int oc path_size; output_binary_int oc code_size; output_binary_int oc prim_size; output_binary_int oc data_size; |