2017-04-07 16:21:29 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
# So that the user can see at least some build progress
|
2022-07-05 04:17:15 +00:00
|
|
|
# unset MFLAGS
|
|
|
|
# unset MAKEFLAGS
|
2017-04-07 16:21:29 +00:00
|
|
|
|
2022-07-05 04:17:15 +00:00
|
|
|
# exec make "$@"
|
2017-04-07 16:21:29 +00:00
|
|
|
|