diff options
| author | jason <jason@138bc75d-0d04-0410-961f-82ee72b054a4> | 1997-08-19 22:49:24 +0000 |
|---|---|---|
| committer | jason <jason@138bc75d-0d04-0410-961f-82ee72b054a4> | 1997-08-19 22:49:24 +0000 |
| commit | c90e0199d03bba2ef8fd4bcc14e0318e11a1f0e0 (patch) | |
| tree | d837384650f645bdbea1d618e3715c805a44af4d /gcc/cp/repo.c | |
| parent | 39c8ac16092a748daf89f32ca2fb98f07ca5c004 (diff) | |
| download | gcc-c90e0199d03bba2ef8fd4bcc14e0318e11a1f0e0.tar.gz | |
merge
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@14853 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/cp/repo.c')
| -rw-r--r-- | gcc/cp/repo.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/cp/repo.c b/gcc/cp/repo.c index c9406f23820..b979da78b2c 100644 --- a/gcc/cp/repo.c +++ b/gcc/cp/repo.c @@ -420,7 +420,7 @@ finish_repo () if (strcmp (old_main, main_input_filename) != 0 || strcmp (old_dir, dir) != 0 || (args == NULL) != (old_args == NULL) - || strcmp (old_args, args) != 0) + || (args && strcmp (old_args, args) != 0)) repo_changed = 1; if (! repo_changed || errorcount || sorrycount) |