Project

General

Profile

« Previous | Next » 

Revision 8958

lib/local.sh: root_make (): use make () rather than extern make now that make () does not set its own current dir. using make () also automatically enables \$stdout2stderr, which is needed to redirect the echoed make commands.

View differences:

local.sh
12 12

  
13 13
#### make
14 14

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

  
17 17
#### connection vars
18 18

  

Also available in: Unified diff