blob: 335f1eeeff1dd61c8d57ce5c2d95d1b56327f55e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
before_script:
- "apt-get update -qq"
- "apt-get upgrade -y"
- "apt-get install -y --fix-missing git"
# Install ssh-agent if not already installed, it is required by Docker.
# (change apt-get to yum if you use a CentOS-based image)
- 'which ssh-agent || ( apt-get update -y && apt-get install openssh-client -y )'
# Run ssh-agent (inside the build environment)
- eval $(ssh-agent -s)
# Add the SSH key stored in SSH_PRIVATE_KEY variable to the agent store
- ssh-add <(echo "$DEPLOY_KEY")
# For Docker builds disable host key checking. Be aware that by adding that
# you are suspectible to man-in-the-middle attacks.
# WARNING: Use this only with the Docker executor, if you use it with shell
# you will overwrite your user's SSH config.
- mkdir -p ~/.ssh
- '[[ -f /.dockerenv ]] && echo -e "Host *\n\tStrictHostKeyChecking no\n\n" > ~/.ssh/config'
# In order to properly check the server's host key, assuming you created the
# SSH_SERVER_HOSTKEYS variable previously, uncomment the following two lines
# instead.
- mkdir -p ~/.ssh
- '[[ -f /.dockerenv ]] && echo "$SSH_SERVER_HOSTKEYS" > ~/.ssh/known_hosts'
test:
script:
- "sh autogen.sh && ./configure && make && make install"
- "make test-full-online"
update:
script:
- echo "merging from torgit"
- git clone git@oniongit.eu:hiro/tor.git
- "cd tor"
- git remote add upstream https://git.torproject.org/tor.git
- git checkout master
- git config --global user.email "labadmin@oniongit.eu"
- git config --global user.name "gitadmin"
- git pull -Xtheirs upstream master
- git push origin master
|
