From 413bd7681ed70155b7bbc9ab2255801ed41904ea Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Fri, 6 May 2022 12:54:34 +0200 Subject: Simplify handling of file suffixes. Since we are sure that all files passed have a valid extension we can use the OCaml function Filename.remove_extension and don't need to pass the suffixes. Bug 33218 --- driver/Driveraux.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'driver/Driveraux.mli') diff --git a/driver/Driveraux.mli b/driver/Driveraux.mli index 6f0eaddb..47f923f0 100644 --- a/driver/Driveraux.mli +++ b/driver/Driveraux.mli @@ -27,7 +27,7 @@ val tmp_file: string -> string The file will be removed when the program exits. Return the absolute path to the file. *) -val output_filename: ?final:bool -> string -> string -> string -> string +val output_filename: ?final:bool -> string -> suffix:string -> string (** Determine names for output files. We use -o option if specified and if this is the final destination file (not a dump file). Otherwise, we generate a file in the current directory. *) -- cgit