Don't record commands given by --cmd option.
authorDaniel Carl <danielcarl@gmx.de>
Sat, 22 Nov 2014 21:41:26 +0000 (22:41 +0100)
committerDaniel Carl <danielcarl@gmx.de>
Sat, 22 Nov 2014 21:41:26 +0000 (22:41 +0100)
commitacf7fa0acd848ef0351f16f820eae977c4c64518
tree19c2ba17f93aca953c7b7c3d8771970216bd51ea
parentd639a4f13c3ccc52eb576994709b9c1004ce2212
Don't record commands given by --cmd option.

We don't want to record startup commands in the command history.
src/main.c