/usr/share/gprconfig/vxworks.xml is in gprbuild 2017-5.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 | <?xml version="1.0" ?>
<gprconfig>
<!-- This file has been removed on 20170306. Replaced by an empty file
for bootstrap: otherwise re-installing gprbuild on the same install
location will not remove the old vxworks.xml. -->
<configuration>
<config>
</config>
</configuration>
</gprconfig>
|