diff options
Diffstat (limited to 'gcc/ada/par-prag.adb')
-rw-r--r-- | gcc/ada/par-prag.adb | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/par-prag.adb b/gcc/ada/par-prag.adb index f464da9..ca47afc 100644 --- a/gcc/ada/par-prag.adb +++ b/gcc/ada/par-prag.adb @@ -590,6 +590,12 @@ begin when Pragma_Source_File_Name | Pragma_Source_File_Name_Project => + if Debug_Flag_Underscore_MM then + -- -gnatd_M is causes the compiler to ignore source file name + -- pragmas. It's used for reduced reproducer generation. + return Pragma_Node; + end if; + Source_File_Name : declare Unam : Unit_Name_Type; Expr1 : Node_Id; |