Skip to content

Added an option to use CMD instead of Powershell

Ondřej Vašíček requested to merge feature/addOptionToUseCmdInsteadOfPs1 into dev
  • It is now possible to choose between Powershell and CMD on Windows
    • Use the configuration files (VeriFitAnalysis.properties, VeriFitCompilation.properties) to choose which shell to use by changing the "config_win_shell" property (values "windows_ps1" or "windows_bat").

Merge request reports