Made dejagnu option lower case.

llvm-svn: 18075
This commit is contained in:
Tanya Lattner 2004-11-21 00:10:12 +00:00
parent c3d696fe04
commit 72aca859c2
1 changed files with 1 additions and 1 deletions

View File

@ -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";
}