Revision 8918
Added by Aaron Marcuse-Kubitza about 11 years ago
| util.sh | ||
|---|---|---|
| 204 | 204 |
make () |
| 205 | 205 |
{
|
| 206 | 206 |
echo_func |
| 207 |
extern make --directory="$top_dir" "$@" |
|
| 207 |
stdout2stderr=1 extern make --directory="$top_dir" "$@"
|
|
| 208 | 208 |
} |
| 209 | 209 |
|
| 210 | 210 |
if false; then ## usage: |
Also available in: Unified diff
bugfix: lib/util.sh: make (): use stdout2stderr=1 so that commands make runs are properly output to stderr