Merge pull request #1167 from reznikmm/topic/drop_def_sw

Drop `Default_Switches` from project files.
AdaCore · Jan 5, 2025 · 1bae604 · 1bae604
2 parents b70e98d + 3b1e49f
commit 1bae604
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/frontend/src/ts/download.ts b/frontend/src/ts/download.ts
@@ -23,12 +23,10 @@ const MAIN_GPR = `project Main is
    --LANGUAGE_PLACEHOLDER--
 
    package Compiler is
-      for Default_Switches ("Ada") use ("-g", "-O0");
       --COMPILER_SWITCHES_PLACEHOLDER--
    end Compiler;
 
    package Builder is
-      for Default_Switches ("Ada") use ("-g");
       --BUILDER_SWITCHES_PLACEHOLDER--
       for Global_Configuration_Pragmas use "main.adc";
    end Builder;
@@ -42,12 +40,10 @@ const SPARK_GPR = `project Main_Spark is
    --LANGUAGE_PLACEHOLDER--
 
    package Compiler is
-      for Default_Switches ("Ada") use ("-g", "-O0");
       --COMPILER_SWITCHES_PLACEHOLDER--
    end Compiler;
 
    package Builder is
-      for Default_Switches ("Ada") use ("-g");
       --BUILDER_SWITCHES_PLACEHOLDER--
       for Global_Configuration_Pragmas use "main_spark.adc";
    end Builder;