Abort with error message if --dump
argument invalid
#1104
+10
−6
Merged