Make sure to export ASAN_OPTIONS properly

diff --git a/dev.mk.in b/dev.mk.in
index 1f724f628bc5907e50992c2272d8908014af4e80..fd599b8229a9de2c7012d9c0811d0e6d6ba5354b 100644 (file)
--- a/dev.mk.in
+++ b/dev.mk.in
@@ -207,7 +207,7 @@ docker: misc/Dockerfile
 .PHONY: travis
 travis: .travis/Dockerfile
        $(DOCKER) inspect travis-build >/dev/null || $(DOCKER) build -t travis-build .travis
-       $(DOCKER) run --rm --volume $(PWD):/src --tmpfs /dst:rw,exec travis-build \
-       sh -c "cd /src && ./autogen.sh && cd /dst && CC=$(CC) CFLAGS='$(CFLAGS)' ASAN_OPTIONS='$(ASAN_OPTIONS)' /src/configure $(HOST) && make $(TEST)"
+       $(DOCKER) run --rm --volume $(PWD):/src --tmpfs /dst:rw,exec --env ASAN_OPTIONS='$(ASAN_OPTIONS)' travis-build \
+       sh -c "cd /src && ./autogen.sh && cd /dst && CC=$(CC) CFLAGS='$(CFLAGS)' /src/configure $(HOST) && make && make $(TEST)"
 
 -include .deps/*.d