24 lines
709 B
Plaintext
24 lines
709 B
Plaintext
# Repository for example-reponame
|
|
|
|
# Name of the repository
|
|
# Repositories names must be unique
|
|
# I suggest to name the config file as the repository
|
|
name: example-reponame
|
|
|
|
# Address of git repository
|
|
# Obviously user needs (at least) read access on that repository
|
|
# Tip: use a passwordless login with ssh key
|
|
address: ssh://user@example.org/home/git/example-reponame.git
|
|
|
|
# Command to execute in the root directory of the repository
|
|
command: make
|
|
|
|
# Objects to copy in the output directory after the build
|
|
objects: src/a.out
|
|
|
|
# How frequently should I build this repository?
|
|
# Use d, w, m to build daily, weekly and monthly
|
|
# Any other value forces the build every time lib/build.sh is executed
|
|
rate: w
|
|
|