Rename EXTRA_FLAGS to EXTRA_OPTIONS.

llvm-svn: 28872
This commit is contained in:
Evan Cheng 2006-06-20 18:49:13 +00:00
parent 52d9bcd47f
commit b001b267de

View File

@ -334,7 +334,7 @@ while (scalar(@ARGV) and ($_ = $ARGV[0], /^[-+]/)) {
$MAKEOPTS = "$MAKEOPTS $ARGV[0]"; shift; next;
}
if (/^-extraflags/) {
$PROGTESTOPTS .= " EXTRA_FLAGS=\'$ARGV[0]\'"; shift; next;
$PROGTESTOPTS .= " EXTRA_OPTIONS=\'$ARGV[0]\'"; shift; next;
}
if (/^-noexternals$/) { $NOEXTERNALS = 1; next; }
if (/^-nodejagnu$/) { $NODEJAGNU = 1; next; }