From ecc8aa8192bd8528c1872eec1981cffd21376c1e Mon Sep 17 00:00:00 2001 From: Zeno Rogue Date: Sat, 25 Jan 2020 19:22:26 +0100 Subject: [PATCH] added CLI option -no-stamp --- commandline.cpp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/commandline.cpp b/commandline.cpp index bb9fb609..f224c5d7 100644 --- a/commandline.cpp +++ b/commandline.cpp @@ -152,6 +152,9 @@ int arg::readCommon() { PHASE(1); offlineMode = true; } + else if(argis("-no-stamp")) { + debugflags &=~ DF_TIME; + } else if(argis("-debf")) { shift(); string s = args();