Synchronise build script with master.

diff --git a/build b/build
index e1c442e..4dba756 100755 (executable)
--- 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