Skip to content

Commit

Permalink
Quote paths correctly to fix problems with paths containing spaces (#…
Browse files Browse the repository at this point in the history 
…1539)

Co-authored-by: Viktor Kunčak <[email protected]>
Co-authored-by: Samuel Chassot <[email protected]>
  • Loading branch information
@sfiruch @vkuncak @samuelchassot
3 people authored Aug 5, 2024
1 parent a38d80a commit d16e368
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions bin/launcher-noscalaz3.tmpl.bat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ pushd %~dp0
set script_dir=%CD%
popd

set PATH=%PATH%;%script_dir%\z3
set PATH=%PATH%;%script_dir%\cvc5
set PATH=%PATH%;"%script_dir%\z3"
set PATH=%PATH%;"%script_dir%\cvc5"

java -jar %script_dir%\lib\{STAINLESS_JAR_BASENAME} %*
java -jar "%script_dir%\lib\{STAINLESS_JAR_BASENAME}" %*

0 comments on commit d16e368

Please sign in to comment.