Made dejagnu option lower case.
authorTanya Lattner <tonic@nondot.org>
Sun, 21 Nov 2004 00:10:12 +0000 (00:10 +0000)
committerTanya Lattner <tonic@nondot.org>
Sun, 21 Nov 2004 00:10:12 +0000 (00:10 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@18075 91177308-0d34-0410-b5e6-96231b3b80d8

utils/NightlyTest.pl

index 4919d53bb26fcb7045ddd05e5e35e2a4771824fa..e31414b8c8e9f95227a225a5e1d31d84b2f531dc 100755 (executable)
@@ -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";
 }