Merge branch 'CI'

This commit is contained in:
Ștefan Talpalaru 2019-11-12 19:03:16 +01:00
commit 39b326a5b6
No known key found for this signature in database
GPG Key ID: CBF7934204F1B6F9

View File

@ -26,6 +26,8 @@
--excessiveStackTrace:on --excessiveStackTrace:on
# enable metric collection # enable metric collection
-d:metrics -d:metrics
# add debugging symbols and original files and line numbers @if not macosx:
--debugger:native # add debugging symbols and original files and line numbers
--debugger:native
@end