Avoid putting full path of generator into generated files.

diff --git a/gen/json_conv/codegen.ml b/gen/json_conv/codegen.ml
index 25b844f0a520e332bebb282b059fbe0c371f8472..b13dcf909e173d748b8fc95de3b87144192a5f34 100644 (file)
--- a/gen/json_conv/codegen.ml
+++ b/gen/json_conv/codegen.ml
@@ -430,7 +430,9 @@ let generate_from_def ff is_and (tname, trep) =
 
 let generate_header ff ifn =
        let md = Filename.basename (Filename.chop_extension ifn) in
-       let call = String.concat " " (Array.to_list Sys.argv) in
+       let argv = Array.to_list Sys.argv in
+       let argv = (Filename.basename (List.hd argv)) :: (List.tl argv) in
+       let call = String.concat " " argv in
        fprintf ff "(* This file has been auto-generated using \"%s\". *)@\n@\n" call;
        fprintf ff "open %s@\n@\n" (String.capitalize md)
 

diff --git a/gen/rpc/codegen.ml b/gen/rpc/codegen.ml
index 2d8efc9934924871c95eb122830923df867e507d..2f2258847a9e4f8421e1767d3a37a05e7d8304c7 100644 (file)
--- a/gen/rpc/codegen.ml
+++ b/gen/rpc/codegen.ml
@@ -336,7 +336,9 @@ module Client = struct
 end
 
 let generate_header ff =
-       let call = String.concat " " (Array.to_list Sys.argv) in
+       let argv = Array.to_list Sys.argv in
+       let argv = (Filename.basename (List.hd argv)) :: (List.tl argv) in
+       let call = String.concat " " argv in
         fprintf ff "(* This file has been auto-generated using \"%s\". *)@\n@\n" call
 
 let generate_opens ff spec =

diff --git a/gen/rpc/syntax_json_conv.ml b/gen/rpc/syntax_json_conv.ml
index e5306e3b28ee29625d7ee80ceebcaaded8bc92b2..b773801741c574cbfdfcbebf045c4fe00d142466 100644 (file)
--- a/gen/rpc/syntax_json_conv.ml
+++ b/gen/rpc/syntax_json_conv.ml
@@ -1,4 +1,4 @@
-(* This file has been auto-generated using "/home/prashanth/xenclient/build/repo/xenclient-toolstack/gen/json_conv/gen_json_conv -i syntax.ml -o syntax_json_conv.ml". *)
+(* This file has been auto-generated using "gen_json_conv -i syntax.ml -o syntax_json_conv.ml". *)
 
 open Syntax