diff options
Diffstat (limited to 'make.sh')
-rwxr-xr-x | make.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -37,7 +37,7 @@ case "$1" in ./configure --with-kbuild="${kheaders}" res=$? [ $res -ne 0 ] && exit $res - make + make V=1 exit $? ;; *) |