This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.
Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
---|---|---|
Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |
Other format: | [Raw text] |
When there are several simultaneous compilations, the compilation switch -gnateG (generate preprocessed source) is used and the same preprocessed source is necessary for several of these simultaneous compilation, one or several compilations may fail. This patch makes sure that no compilation will fail for the reason that the processed file cannot be saved to disk. The test for this is to invoke gnatmake with -f -j20 -gnateD... -gnateG a main that withs many package spec that in turn with the same spec that needs to be preprocessed. There should not be any compilation failure if the same invocation of gnatmake succeeds without the -j switch. Tested on x86_64-pc-linux-gnu, committed on trunk 2010-10-04 Vincent Celier <celier@adacore.com> * sinput-l.adb (Load_File): Do not fail when switch -gnateG is specified and the processed file cannot be written. Just issue a warning and continue.
Attachment:
difs
Description: Text document
Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
---|---|---|
Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |