Changeset: 0081b8273281 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=0081b8273281
Modified Files:
        tools/mserver/mserver5.1.in
Branch: Jul2017
Log Message:

Move --trace argument to a better location.


diffs (21 lines):

diff --git a/tools/mserver/mserver5.1.in b/tools/mserver/mserver5.1.in
--- a/tools/mserver/mserver5.1.in
+++ b/tools/mserver/mserver5.1.in
@@ -100,6 +100,9 @@ Print list of options.
 .TP
 .B \-\-version
 Print version and compile configuration.
+.TP
+.B \-\-trace
+Print information about MAL instructions as they are executed.
 .SH GDK PARAMETERS
 GDK (Goblin Database Kernel) is the current columnar storage kernel
 engine of the MonetDB 5 database.
@@ -189,7 +192,6 @@ these debug flags as well:
   \-\-performance   (DEADBEEFMASK)
   \-\-optimizers    (OPTMASK)
   \-\-forcemito     (FORCEMITOMASK)
-  \-\-trace[=stethoscope argument]
 .EE
 
 Default:
_______________________________________________
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list

Reply via email to