diff options
Diffstat (limited to 'script/trees')
| -rwxr-xr-x | script/trees | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/script/trees b/script/trees index 3b126e56..f2b988f1 100755 --- a/script/trees +++ b/script/trees @@ -230,8 +230,7 @@ check_cmake() check_makefile "${1}" || \ $err "check_cmake ${1}: can't cmake ${cmakedir}" [ -z "${cmakedir}" ] || check_makefile "${1}" || \ - $err "check_cmake ${1}: could not generate Makefile" - return 0 + $err "check_cmake ${1}: can't generate Makefile"; return 0 } check_autoconf() |