diff options
| author | Peter Powell <petpow@saberuk.com> | 2019-04-16 11:22:25 +0100 |
|---|---|---|
| committer | Peter Powell <petpow@saberuk.com> | 2019-04-16 12:09:30 +0100 |
| commit | 62dc1769c952a7211878181ff595d4328e182f6b (patch) | |
| tree | a1a8e8236c4186dcd4634d032a809c29abab03b9 /tools | |
| parent | 661249a8509fb53717edd7bbbfb85060f8eaf22f (diff) | |
Omit debug symbols when doing CI builds.
This provides a significant build time improvement.
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/test-build | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/test-build b/tools/test-build index 647289569..54d22f9d3 100755 --- a/tools/test-build +++ b/tools/test-build @@ -36,7 +36,8 @@ use lib $RealDir; use make::common; use make::configure; -$ENV{INSPIRCD_DEBUG} = $ENV{INSPIRCD_VERBOSE} = 1; +$ENV{INSPIRCD_DEBUG} = 3; +$ENV{INSPIRCD_VERBOSE} = 1; system 'git', 'clean', '-dfx'; |