osinte-c.ads, [...] (Set_Library_Info_Name): Fail if base name of specified object...
authorVincent Celier <celier@adacore.com>
Wed, 6 Jun 2007 10:38:46 +0000 (12:38 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 6 Jun 2007 10:38:46 +0000 (12:38 +0200)
commit717809895b889a8fb39866d5ace71544b5d65945
tree9b44a80d4f17287c42e19ff3e76003c87a96c3eb
parentb5755e2ba523ae36cb5f033ec1dd29d4cda71c09
osinte-c.ads, [...] (Set_Library_Info_Name): Fail if base name of specified object file is not equal to base name of source.

2007-04-20  Vincent Celier  <celier@adacore.com>

* osinte-c.ads, osint-c.adb (Set_Library_Info_Name): Fail if base name
of specified object file is not equal to base name of source.

From-SVN: r125436
gcc/ada/osint-c.adb
gcc/ada/osint-c.ads