Remove last reference to REMOTE_OBS
authorTom Tromey <tom@tromey.com>
Sun, 27 May 2018 19:05:03 +0000 (13:05 -0600)
committerTom Tromey <tom@tromey.com>
Sun, 27 May 2018 20:54:08 +0000 (14:54 -0600)
commitb8283aea9e599f17dbae7f52223994e3a9168143
tree9fb6d93144fdfd2ca561abf8104bc4cc6e5d7f73
parent121dac5822d98459343bde74d5235b988206d965
Remove last reference to REMOTE_OBS

REMOTE_OBS was removed from Makefile.in in
18ca73470a0d7eb96a807c97559cbb9fddb4b461, but one reference remains.
This patch removes the lingerer.

ChangeLog
2018-05-27  Tom Tromey  <tom@tromey.com>

* Makefile.in (DEPFILES): Don't reference REMOTE_OBS.
gdb/ChangeLog
gdb/Makefile.in