From: Kim Nguyễn <kn@lri.fr>
Date: Tue, 12 Feb 2013 16:37:06 +0000 (+0100)
Subject: Synchronise build script with master.
X-Git-Tag: v0.1~177
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=10aa93a09950c79d316594aa7d4bb62b64c1a60b

Synchronise build script with master.
---

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