# HG changeset patch
# User Alain Mazy <alain@mazy.be>
# Date 1557851052 -7200
# Node ID 9e3bb8b4f72662489a369fe9ce4abb94741e6c01
# Parent  0c5398c3b9943d4106ca1f45a4ac5c456a604fd7
allow unregistered command line options (seems that it does not work in WASM !!)

diff -r 0c5398c3b994 -r 9e3bb8b4f726 Applications/Generic/NativeStoneApplicationRunner.cpp
--- a/Applications/Generic/NativeStoneApplicationRunner.cpp	Wed May 08 16:49:01 2019 +0200
+++ b/Applications/Generic/NativeStoneApplicationRunner.cpp	Tue May 14 18:24:12 2019 +0200
@@ -103,7 +103,7 @@
     try
     {
       boost::program_options::store(boost::program_options::command_line_parser(argc, argv).
-                                    options(options).run(), parameters);
+                                    options(options).allow_unregistered().run(), parameters);
       boost::program_options::notify(parameters);
     }
     catch (boost::program_options::error& e)
diff -r 0c5398c3b994 -r 9e3bb8b4f726 Applications/Wasm/StartupParametersBuilder.cpp
--- a/Applications/Wasm/StartupParametersBuilder.cpp	Wed May 08 16:49:01 2019 +0200
+++ b/Applications/Wasm/StartupParametersBuilder.cpp	Tue May 14 18:24:12 2019 +0200
@@ -31,7 +31,7 @@
         try
         {
             boost::program_options::store(boost::program_options::command_line_parser(argCounter, argv).
-                                            options(options).run(), parameters);
+                                            options(options).allow_unregistered().run(), parameters);
             boost::program_options::notify(parameters);
         }
         catch (boost::program_options::error& e)