aboutsummaryrefslogtreecommitdiff
path: root/gold/incremental.cc
diff options
context:
space:
mode:
authorIan Lance Taylor <ian@airs.com>2009-05-31 23:07:26 +0000
committerIan Lance Taylor <ian@airs.com>2009-05-31 23:07:26 +0000
commitb19b0c6d0ff05685c6941b4ecf986a7b429663bd (patch)
tree24832d5081b8c855304c54ab591a2210b73069a3 /gold/incremental.cc
parent8d3c040f1750f10f57b4d303d033d62b7249735d (diff)
downloadgdb-b19b0c6d0ff05685c6941b4ecf986a7b429663bd.zip
gdb-b19b0c6d0ff05685c6941b4ecf986a7b429663bd.tar.gz
gdb-b19b0c6d0ff05685c6941b4ecf986a7b429663bd.tar.bz2
* incremental.cc (Incremental_inputs::report_command_line): Filter
out --incremental-* options.
Diffstat (limited to 'gold/incremental.cc')
-rw-r--r--gold/incremental.cc6
1 files changed, 6 insertions, 0 deletions
diff --git a/gold/incremental.cc b/gold/incremental.cc
index 8024551..bb40d31 100644
--- a/gold/incremental.cc
+++ b/gold/incremental.cc
@@ -162,6 +162,12 @@ Incremental_inputs::report_command_line(int argc, const char* const* argv)
// Copied from collect_argv in main.cc.
for (int i = 1; i < argc; ++i)
{
+ // Adding/removing these options should result in a full relink.
+ if (strcmp(argv[i], "--incremental-changed") == 0
+ || strcmp(argv[i], "--incremental-unchanged") == 0
+ || strcmp(argv[i], "--incremental-unknown") == 0)
+ continue;
+
args.append(" '");
// Now append argv[i], but with all single-quotes escaped
const char* argpos = argv[i];