Made dejagnu option lower case.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@18075 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/utils/NightlyTest.pl b/utils/NightlyTest.pl
index 4919d53..e31414b 100755
--- a/utils/NightlyTest.pl
+++ b/utils/NightlyTest.pl
@@ -347,7 +347,7 @@
$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";
}