From 410a5db3d48e84f2157c2c4f4bc29056c0e174b9 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Fri, 24 Jun 2016 13:57:27 +0200 Subject: Moved assembler and linker into own files. The function to call the assembler and the linker are now in own files like the preprocessor. Bug 19197 --- driver/Frontend.mli | 1 + 1 file changed, 1 insertion(+) (limited to 'driver/Frontend.mli') diff --git a/driver/Frontend.mli b/driver/Frontend.mli index 689f382f..d0514d01 100644 --- a/driver/Frontend.mli +++ b/driver/Frontend.mli @@ -21,3 +21,4 @@ val prepro_actions: (Commandline.pattern * Commandline.action) list (** Commandline optins affecting the frontend *) val prepro_help: string + (** Commandline help description *) -- cgit