diff --git a/src/main.c b/src/main.c index ce2be3b5..f6ddcf26 100644 --- a/src/main.c +++ b/src/main.c @@ -712,6 +712,10 @@ int main(int argc, char * argv []) atexit(cleanup_main); + msg_debug("$ "); // Record command line when debugging + for(int i=0; i