Project

General

Profile

« Previous | Next » 

Revision 8939

lib/local.sh: added root_make ()

View differences:

lib/local.sh
10 10

  
11 11
export PATH="$bin_dir_abs:$PATH"
12 12

  
13
#### make
14

  
15
root_make () { echo_func; extern make --directory="$root_dir" "$@"; }
16

  
13 17
#### connection vars
14 18

  
15 19
: "${remote_server=vegbiendev.nceas.ucsb.edu}"

Also available in: Unified diff