[Bug plugins/45078] config/vxworks-dummy.h not installed as a plugin header on some archs

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=45078

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Mon Jun 16 08:12:40 2014
New Revision: 211696

URL: https://gcc.gnu.org/viewcvs?rev=211696&root=gcc&view=rev
Log:
    PR plugins/45078
    * config.gcc (arm*-*-linux-*): Include vxworks-dummy.h in tm_file.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config.gcc