Skip to content

v2.6.0 - config cmd or ps1

Ondřej Vašíček requested to merge dev into master

v2.6.0

  • 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").
  • run_all.sh now checks whether mvn and curl are available
  • build.sh check whether mvn is available
Edited by Ondřej Vašíček

Merge request reports