diff options
| author | bstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-12-02 07:31:39 +0000 |
|---|---|---|
| committer | bstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4> | 2009-12-02 07:31:39 +0000 |
| commit | 47c16a8cec2c48947e6d85683f5f916777ccc169 (patch) | |
| tree | 3a8bf827ae1df7e637a2a4ede4dba5f0421ac0d2 /gcc/ada/bcheck.adb | |
| parent | b27941d363b11d115e30a9676e61c8536a12adf7 (diff) | |
| download | gcc-47c16a8cec2c48947e6d85683f5f916777ccc169.tar.gz | |
2009-12-02 Basile Starynkevitch <basile@starynkevitch.net>
MELT branch merged with trunk rev 154895
{after more plugin events from ICI folks}
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@154896 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/bcheck.adb')
| -rw-r--r-- | gcc/ada/bcheck.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/bcheck.adb b/gcc/ada/bcheck.adb index 18739e878ed..084ce199dda 100644 --- a/gcc/ada/bcheck.adb +++ b/gcc/ada/bcheck.adb @@ -191,6 +191,7 @@ package body Bcheck is else ALI_Path_Id := Osint.Full_Lib_File_Name (ALIs.Table (A).Afile); + if Osint.Is_Readonly_Library (ALI_Path_Id) then if Tolerate_Consistency_Errors then Error_Msg ("?{ should be recompiled"); |