diff --git a/generator/generator_actions.ml b/generator/generator_actions.ml index 41a016706..95e5d0c3c 100644 --- a/generator/generator_actions.ml +++ b/generator/generator_actions.ml @@ -1529,7 +1529,7 @@ C."); *) let daemon_functions = [ - ("mount", (RErr, [Device "device"; String "mountpoint"], []), 1, [], + ("mount", (RErr, [Device "device"; String "mountpoint"], []), 1, [DeprecatedBy "mount_options"], [InitEmpty, Always, TestOutput ( [["part_disk"; "/dev/sda"; "mbr"]; ["mkfs"; "ext2"; "/dev/sda1"];