diff options
Diffstat (limited to 'utils/NightlyTest.pl')
| -rwxr-xr-x | utils/NightlyTest.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/NightlyTest.pl b/utils/NightlyTest.pl index 4919d53bb2..e31414b8c8 100755 --- a/utils/NightlyTest.pl +++ b/utils/NightlyTest.pl @@ -347,7 +347,7 @@ while (scalar(@ARGV) and ($_ = $ARGV[0], /^[-+]/)) { $CONFIGUREARGS .= " CC=$ARGV[0]/gcc CXX=$ARGV[0]/g++"; shift; next; } if (/^-noexternals$/) { $NOEXTERNALS = 1; next; } - if(/^-runDejagnu$/) { $RUNDEJAGNU = 1; next; } + if(/^-rundejagnu$/) { $RUNDEJAGNU = 1; next; } print "Unknown option: $_ : ignoring!\n"; } |