mirror of
https://gitlab.com/fdroid/fdroidserver.git
synced 2024-10-06 11:00:13 +02:00
d7e6e335f3
Switching to a script /etc/profile.d to set up the environment is all well and good, except that doesn't get run when you directly execute a command directly via ssh, which means that the buildserver didn't work at all (at least for anything that used gradle, or relied on the environment variables. This fix doesn't look very nice, but it works - it just forces the appropriate script to run before build.py is executed on the server. (Side note, I thought we had tests for this, how did it get past them?) |
||
---|---|---|
.. | ||
asynchronousfilereader | ||
__init__.py | ||
build.py | ||
checkupdates.py | ||
common.py | ||
gpgsign.py | ||
import.py | ||
init.py | ||
install.py | ||
lint.py | ||
metadata.py | ||
net.py | ||
publish.py | ||
readmeta.py | ||
rewritemeta.py | ||
scanner.py | ||
server.py | ||
signindex.py | ||
stats.py | ||
update.py | ||
verify.py |