The path to os.bat should contain (multiple) spaces, newlines (including trailing newlines) and other problematic characters, both in the directories and in the filename itself. This will help make sure that these characters do not trip up any code relying on $0 or $PWD.
[ ] os.bat should be executed from another directory (so that $PWD is different from dirname "$0".
It would be nice to also check that the build works when the path to the repository contains such characters.
The path to
os.batshould contain (multiple) spaces, newlines (including trailing newlines) and other problematic characters, both in the directories and in the filename itself. This will help make sure that these characters do not trip up any code relying on$0or$PWD.[ ]
os.batshould be executed from another directory (so that$PWDis different fromdirname "$0".It would be nice to also check that the build works when the path to the repository contains such characters.