- Fixed a bug in the handling of the '--extra' switch.

This commit is contained in:
ccremers 2005-03-11 19:47:16 +00:00
parent 46974091dc
commit 60795919c1

View File

@ -163,7 +163,7 @@ def process_default_options(options):
print "Using", options.program, "as Scyther executable."
if options.extra != "":
add_extra_parameters(options.extra)
print "Added extra options, now:", get_extra_parameters(options.extra)
print "Added extra options, now:", get_extra_parameters()
if options.nocache:
# Do not use cache
print "Warning: Disabling cache"