Revision 9349
Added by Aaron Marcuse-Kubitza over 11 years ago
| lib/runscripts/table.run | ||
|---|---|---|
| 28 | 28 |
input_make() |
| 29 | 29 |
{
|
| 30 | 30 |
echo_func |
| 31 |
command make --directory="$top_dir"/.. "${@/#/$table/}"
|
|
| 31 |
make --directory="$top_dir"/.. "${@/#/$table/}"
|
|
| 32 | 32 |
} |
| 33 | 33 |
|
| 34 | 34 |
map_table() |
Also available in: Unified diff
lib/runscripts/table.run: input_make(): use the local make() function instead of external make directly, because it sets $cmd_log_fd appropriately to ensure that all the echoed make commands get properly logged to stdlog/stderr (stdlog is fd 30 when it's redirected to a file)