* s-osinte-vxworks6.ads: Removed, merged with s-osinte-vxworks.ads/.adb
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 8 Apr 2008 06:43:49 +0000 (06:43 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 8 Apr 2008 06:43:49 +0000 (06:43 +0000)
commit7037ab9e636ef08b0e8ca1ddde1967d1aa690c9d
tree79e66576bfa8f7d6e286eaedc4cec3ed5133bd60
parent0244eba9499e50ee95d1b579cdd9dab7582ac878
* s-osinte-vxworks6.ads: Removed, merged with s-osinte-vxworks.ads/.adb
* s-vxwext.ads, s-vxwext-kernel.ads, s-vxwext-rtp.ads,
s-vxwext-rtp.adb: New files.

* s-taprop-vxworks.adb, s-osinte-vxworks.ads, s-osinte-vxworks.adb:
Minor updates to accomodate changes above.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@134005 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/s-osinte-vxworks.adb
gcc/ada/s-osinte-vxworks.ads
gcc/ada/s-osinte-vxworks6.ads [deleted file]
gcc/ada/s-taprop-vxworks.adb
gcc/ada/s-vxwext-kernel.ads [new file with mode: 0644]
gcc/ada/s-vxwext-rtp.adb [new file with mode: 0644]
gcc/ada/s-vxwext-rtp.ads [new file with mode: 0644]
gcc/ada/s-vxwext.ads [new file with mode: 0644]