aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/par-prag.adb
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/ada/par-prag.adb')
-rw-r--r--gcc/ada/par-prag.adb6
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;