[master] bb8e3ec75 Adjust for other OS

[Federico G. Schwindt]

commit bb8e3ec75924264ee1e417540bf4f1a387c7301b
Author: Federico G. Schwindt <fgsch at lodoss.net>
Date:   Mon Jul 1 11:16:05 2019 +0100

    Adjust for other OS

diff --git a/.envrc b/.envrc
index ff965d222..79286502e 100644
--- a/.envrc
+++ b/.envrc
@@ -1,4 +1,5 @@
-export ASAN_OPTIONS=abort_on_error=1,detect_odr_violation=1,detect_leaks=0,detect_stack_use_after_return=1,detect_invalid_pointer_pairs=1,handle_segv=0,handle_sigbus=0,use_sigaltstack=0,disable_coredump=0
+DETECT_LEAKS=$(test $(uname) = "Darwin"; echo $?)
+export ASAN_OPTIONS=abort_on_error=1,detect_odr_violation=1,detect_leaks=$DETECT_LEAKS,detect_stack_use_after_return=1,detect_invalid_pointer_pairs=1,handle_segv=0,handle_sigbus=0,use_sigaltstack=0,disable_coredump=0
 export LSAN_OPTIONS=abort_on_error=1,use_sigaltstack=0,suppressions=$(pwd)/tools/lsan.suppr
 export TSAN_OPTIONS=abort_on_error=1,halt_on_error=1,use_sigaltstack=0,suppressions=$(pwd)/tools/tsan.suppr
 export UBSAN_OPTIONS=halt_on_error=1,print_stacktrace=1,use_sigaltstack=0,suppressions=$(pwd)/tools/ubsan.suppr