diff options
| -rwxr-xr-x | llvm/utils/NightlyTest.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/utils/NightlyTest.pl b/llvm/utils/NightlyTest.pl index 4919d53bb26..e31414b8c8e 100755 --- a/llvm/utils/NightlyTest.pl +++ b/llvm/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"; } |
