From 5975b2e5568b5b32e42153d281017660de155e27 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 18 Oct 2016 16:32:56 +0200
Subject: Document -target and -conf. Bug 20210

---
 driver/Driver.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'driver')

diff --git a/driver/Driver.ml b/driver/Driver.ml
index 739ba9b4..a273a91a 100644
--- a/driver/Driver.ml
+++ b/driver/Driver.ml
@@ -331,6 +331,8 @@ General options:\n\
 \  -v             Print external commands before invoking them\n\
 \  -timings       Show the time spent in various compiler passes\n\
 \  -version       Print the version string and exit\n\
+\  -target <value> Generate code for the given target\n\
+\  -conf <file>   Read configuration from file\n\
 \  @<file>        Read command line options from <file>\n" ^
   Cerrors.warning_help ^
 "Interpreter mode:\n\
-- 
cgit