diff options
Diffstat (limited to 'generator/xdr.ml')
-rw-r--r-- | generator/xdr.ml | 20 |
1 files changed, 13 insertions, 7 deletions
diff --git a/generator/xdr.ml b/generator/xdr.ml index 9fd31832..b45f2c46 100644 --- a/generator/xdr.ml +++ b/generator/xdr.ml @@ -166,16 +166,22 @@ let generate_xdr () = pr "/* Table of procedure numbers. */\n"; pr "enum guestfs_procedure {\n"; - List.iter ( - function - | { name = shortname; proc_nr = Some proc_nr } -> - pr " GUESTFS_PROC_%s = %d,\n" (String.uppercase shortname) proc_nr - | { proc_nr = None } -> assert false - ) daemon_functions; - pr " GUESTFS_PROC_NR_PROCS\n"; + let rec loop = function + | [] -> () + | { proc_nr = None } :: _ -> assert false + | { name = shortname; proc_nr = Some proc_nr } :: [] -> + pr " GUESTFS_PROC_%s = %d\n" (String.uppercase shortname) proc_nr + | { name = shortname; proc_nr = Some proc_nr } :: rest -> + pr " GUESTFS_PROC_%s = %d,\n" (String.uppercase shortname) proc_nr; + loop rest + in + loop daemon_functions; pr "};\n"; pr "\n"; + pr "const GUESTFS_MAX_PROC_NR = %d;\n" max_proc_nr; + pr "\n"; + pr "/* The remote procedure call protocol. */\n"; pr "\n"; |