|
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=2}"
|
|
21
|
|
|
22
|
. "$(dirname "${BASH_SOURCE[0]}")"/../util.sh
|
|
23
|
|
|
24
|
if self_not_included; then
|
|
25
|
|
|
26
|
# users can override this function 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
|
