diff options
| author | Richard W.M. Jones <rjones@redhat.com> | 2011-11-22 16:40:37 +0000 |
|---|---|---|
| committer | Richard W.M. Jones <rjones@redhat.com> | 2011-11-22 16:41:48 +0000 |
| commit | 9b102aae65449a8d321e8cf44a3993af558291db (patch) | |
| tree | 307c7ff57f84f87cab48805ed66c4e5c9bf279e1 /generator | |
| parent | 99ec97dcdfaf242ba0683a230ba51e4a87f7458b (diff) | |
| download | libguestfs-9b102aae65449a8d321e8cf44a3993af558291db.tar.gz libguestfs-9b102aae65449a8d321e8cf44a3993af558291db.tar.xz libguestfs-9b102aae65449a8d321e8cf44a3993af558291db.zip | |
Don't rely on implicit promotion of float to double in printf args.
Diffstat (limited to 'generator')
| -rw-r--r-- | generator/generator_fish.ml | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/generator/generator_fish.ml b/generator/generator_fish.ml index 03711d1d..3d52421b 100644 --- a/generator/generator_fish.ml +++ b/generator/generator_fish.ml @@ -267,9 +267,11 @@ Guestfish will prompt for these separately." pr " printf (\"%%s%s: %%c\\n\", indent, %s->%s);\n" name typ name | name, FOptPercent -> - pr " if (%s->%s >= 0) printf (\"%%s%s: %%g %%%%\\n\", indent, %s->%s);\n" - typ name name typ name; - pr " else printf (\"%%s%s: \\n\", indent);\n" name + pr " if (%s->%s >= 0)\n" typ name; + pr " printf (\"%%s%s: %%g %%%%\\n\", indent, (double) %s->%s);\n" + name typ name; + pr " else\n"; + pr " printf (\"%%s%s: \\n\", indent);\n" name ) cols; pr "}\n"; pr "\n"; |