Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-06-05 23:49:00 +08:00
Code Issues Actions 25 Packages Projects Releases Wiki Activity

md5 file note updated if not changed

Browse Source
This commit is contained in:
Pascal Brisset
2009-08-11 09:28:30 +00:00
parent 4aa1a7db31
commit d1ce593d87
1 changed files with 10 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/tools/gen_aircraft.ml
+10 -3
View File
@@ -162,6 +162,15 @@ let is_older = fun target_file dep_files ->
loop dep_files
let write_if_different = fun md5sum_file md5sum ->
if not (Sys.file_exists md5sum_file
&& md5sum = input_line (open_in md5sum_file)) then
let f = open_out md5sum_file in
Printf.fprintf f "%s\n" md5sum;
close_out f
(******************************* MAIN ****************************************)
let () =
@@ -210,9 +219,7 @@ let () =
(** Computes and store a signature of the configuration *)
let md5sum = Digest.to_hex (Digest.file conf_aircraft_file) in
let md5sum_file = aircraft_conf_dir // "aircraft.md5" in
let f = open_out md5sum_file in
Printf.fprintf f "%s\n" md5sum;
close_out f;
write_if_different md5sum_file md5sum;
let airframe_file = value "airframe" in