Project

General

Profile

1
#!/bin/bash -e
2
# runscripts: a bash-based replacement for make
3
# unlike make, supports full bash functionality including multiline commands
4
# usage: path/to/dir/run cmd args
5

    
6
if false; then #### run script template:
7
#!/bin/bash -e
8
. "$(dirname "${BASH_SOURCE[0]}")"/path/to/util.run or file_including_util.run
9
. "$(dirname "${BASH_SOURCE[0]}")"/other_includes
10

    
11
cmd ()
12
{
13
	echo_func
14
	"$(dirname "${BASH_SOURCE[0]}")"/path_relative_to_self
15
	"$(dirname "${BASH_SOURCE[1]}")"/path_relative_to_caller
16
	"$top_dir"/path_relative_to_outermost_script
17
}
18
fi ####
19

    
20
: "${verbosity=3}"
21

    
22
. "$(dirname "${BASH_SOURCE[0]}")"/../util.sh
23

    
24
if self_not_included; then
25

    
26
# users can override run_args_cmd to perform other commands (or no commands)
27
# after the script is read
28
on_exit () { run_args_cmd; }
29
trap on_exit EXIT
30

    
31
fi
(3-3/3)