The -dumpfile=<path> vvp extended argument sets the default nanme to use for the various dumpers. If this flag is not given, the default is "dump". The $dumpfile system task overrides the default or this command line flag. This commit also factors out all the dumpfile selection code for the various dumper implementations. |
||
|---|---|---|
| .. | ||
| developer | ||
| targets | ||
| usage | ||
| .gitignore | ||
| Makefile | ||
| conf.py | ||
| index.rst | ||
| make.bat | ||