diff options
author | Maarten Hoes <hoes.maarten@gmail.com> | 2015-03-04 20:51:40 +0100 |
---|---|---|
committer | Norbert Thiebaud <nthiebaud@gmail.com> | 2015-03-04 21:24:17 +0000 |
commit | 469be295be29c711874a144fc923936498471a5d (patch) | |
tree | a14bce7c2ff8582d199be88a81086131c573214d | |
parent | 7df6aedeed85fb726bebfac03e95838c80fce98c (diff) |
Allow for easier debugging by setting $DEBUG.
Change-Id: Iefb0e6106695e7347da0c2447da98aab13eb7705
Reviewed-on: https://gerrit.libreoffice.org/14745
Reviewed-by: Norbert Thiebaud <nthiebaud@gmail.com>
Tested-by: Norbert Thiebaud <nthiebaud@gmail.com>
-rwxr-xr-x | lcov-report/lcov-report.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lcov-report/lcov-report.sh b/lcov-report/lcov-report.sh index d23828a..1e7cbd2 100755 --- a/lcov-report/lcov-report.sh +++ b/lcov-report/lcov-report.sh @@ -8,6 +8,8 @@ # file, You can obtain one at http://mozilla.org/MPL/2.0/. # +[ "$DEBUG" ] && set -xv + # # Functions # |