Name |
Last commit
|
Last update |
---|---|---|
.. | ||
bash.yml | ||
build.sh | ||
coverity-build.sh | ||
coverity-publish.sh | ||
coverity.yml | ||
docker.yml | ||
nightly.yml | ||
setup-linux.sh | ||
setup-mingw.sh | ||
setup-osx.sh | ||
test.sh |
On Win32 builds, the PID file created by git-daemon contained in invalid PID that we were not able to kill afterwards. Somehow, it seems like the contained PID was wrapped in braces. Consequentially, kill(1) failed and thus caused the build to error. Fix this by directly grabbing the PID of the spawned git-daemon process.
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
bash.yml | Loading commit data... | |
build.sh | Loading commit data... | |
coverity-build.sh | Loading commit data... | |
coverity-publish.sh | Loading commit data... | |
coverity.yml | Loading commit data... | |
docker.yml | Loading commit data... | |
nightly.yml | Loading commit data... | |
setup-linux.sh | Loading commit data... | |
setup-mingw.sh | Loading commit data... | |
setup-osx.sh | Loading commit data... | |
test.sh | Loading commit data... |