.jenkins.sh 325 Bytes
Newer Older
1
2
3
4
5
6
#!/bin/bash
# Copyright ETSI 2017
# See: https://forge.etsi.org/etsi-forge-copyright-statement.txt

cd "$(dirname "$0")"

7
run_dir="$(pwd)"
8

9
10
rm build/*-API.yaml
rm build/*-API.json
11
rm build/*-API.pdf
12

13
14
cd docker

15
./build-container.sh
16
./run-container.sh "${run_dir}" "$1"
17
18
19
20

cd ..

python ./scripts/add_change_comment.py
21
22

exit $?