* Add Python_Shell as option

988680f6 · yoogx · fa401750 · 988680f6
Commit 988680f6 authored Oct 30, 2013 by yoogx
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletion

src/core/mgmt/ocarina-options.ads src/core/mgmt/ocarina-options.ads +2 -1

No files found.
--- a/src/core/mgmt/ocarina-options.ads
+++ b/src/core/mgmt/ocarina-options.ads
@@ -48,7 +48,8 @@ package Ocarina.Options is
      Show_Usage,
      Parse_Scenario_Files_First,
      Analyze_With_Cheddar,
-      Shell);
+      Shell,
+      Python_Shell);

   Root_System_Name             : Name_Id := No_Name;
   Installation_Directory       : Name_Id := No_Name;