From 10aa93a09950c79d316594aa7d4bb62b64c1a60b Mon Sep 17 00:00:00 2001 From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= Date: Tue, 12 Feb 2013 17:37:06 +0100 Subject: [PATCH] Synchronise build script with master. --- build | 3 --- 1 file changed, 3 deletions(-) diff --git a/build b/build index e1c442e..4dba756 100755 --- a/build +++ b/build @@ -7,9 +7,6 @@ let verbose = ref false let dir = Sys.getcwd () let project_root = Filename.dirname Sys.argv.(0) -(* if Filename.is_relative build_path - then Filename.concat dir build_path - else build_path *) let () = for i = 1 to Array.length Sys.argv - 1 do -- 2.17.1