diff options
Diffstat (limited to 'Biz/Ide/hooks/pre-push')
| -rwxr-xr-x | Biz/Ide/hooks/pre-push | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Biz/Ide/hooks/pre-push b/Biz/Ide/hooks/pre-push index baf7a13..0c313cb 100755 --- a/Biz/Ide/hooks/pre-push +++ b/Biz/Ide/hooks/pre-push @@ -30,7 +30,7 @@ fi fi ## - if lint "${BIZ_ROOT:?}"/**/* + if lint "${CODEROOT:?}"/**/* then lint_result="good" else @@ -38,7 +38,7 @@ exit 1 fi ## - if bild --test "${BIZ_ROOT:?}"/**/* + if bild --test "${CODEROOT:?}"/**/* then test_result="good" else |