[r2003-10-10 09:37:19 by cvscast] Empty log message

Original author: cvscast Date: 2003-10-10 09:37:19+00:00

[r2003-10-10 09:37:19 by cvscast] Empty log message
Original author: cvscast Date: 2003-10-10 09:37:19+00:00
23d84cd7 · Pietro Abate · 03bb9810 · 23d84cd7
Commit 23d84cd7 authored Jul 10, 2007 by Pietro Abate
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 1 deletion

driver/librarian.ml driver/librarian.ml +3 -1

No files found.
--- a/driver/librarian.ml
+++ b/driver/librarian.ml
@@ -52,7 +52,9 @@ let deserialize_dep =
    (Serialize.Get.pair Encodings.Utf8.deserialize Serialize.Get.string)


-let source_filename id = Encodings.Utf8.to_string (C.value id) ^ ".cd"
+let source_filename id = 
+    let filename = Encodings.Utf8.to_string (C.value id) 
+     in if (Filename.check_suffix filename "cd") then filename else filename^ ".cd"
 let object_filename id = Encodings.Utf8.to_string (C.value id) ^ ".cdo"