Skip to content

Commit

Permalink
Call ohm-tool
Browse files Browse the repository at this point in the history
  • Loading branch information
VictorNicollet committed Aug 18, 2012
1 parent c204ef2 commit 92748a8
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion run.ml
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,8 @@ ohm ..."
let tool = List.fold_left Filename.concat root [".ohm";"Ohm";"tool";"tool.byte"] in

match Array.to_list Sys.argv with [] -> error "Array.length Sys.argv = 0 ... what the hell ?" | _ :: args ->
exit (Sys.command (String.concat " " (List.map Filename.quote (tool :: args))))
let command = String.concat " " (List.map Filename.quote (tool :: args)) in
exit (Sys.command command)

let project, name =
if Array.length Sys.argv <> 3 || Sys.argv.(1) <> "init" then forward () ;
Expand Down

0 comments on commit 92748a8

Please sign in to comment.