blob: 245a1b1e23111ffb0fc50dea1d33f9d6269f80fc (
plain)
1
2
3
4
5
6
7
8
9
|
let _ =
for j = 1 to ((Array.length Sys.argv) -1) do
let s = Sys.argv.(j) in
let b = Filename.chop_extension (Filename.basename s) in
let b = String.uncapitalize b in
let d = Filename.dirname s in
print_string (Filename.concat d (b ^ ".ml "))
done;
print_newline()
|
