-
Notifications
You must be signed in to change notification settings - Fork 1
/
make-server.conf
36 lines (25 loc) · 980 Bytes
/
make-server.conf
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
# Make service comfiguration file
# The projects' dirs to build, separated with colons ":".
# Can be overridden by the variable $MSERV_CONF_DIRS
# of the same format, that must be exported to the environment.
local SRC_DIRS_LIST=
# The delay between each build attempts (make runs)
local INTERVAL=5
# The number of make calls that yield no change in their
# outcome, after which future builds will be suspended
# till unlocked via the zmake tool.
local PAUSE_AFTER=30
# The :-separated list of arguments passed to the corresponding
# background make calls.
local ARGS=
#
# !!! Do not edit below this line. !!!
#
# The remaining code forwards the values above to the proper
# variables that are shared, unless they aren't set earlier.
#
: ${MSERV_CONF_DIRS:="$SRC_DIRS_LIST"}
: ${MSERV_CONF_INTERVAL:="$INTERVAL"}
: ${MSERV_CONF_PAUSE_AFTER:="$PAUSE_AFTER"}
: ${MSERV_CONF_ARGS:="$ARGS"}
export MSERV_CONF_DIRS MSERV_CONF_INTERVAL MSERV_CONF_PAUSE_AFTER MSERV_CONF_ARGS