diff --git a/Makefile b/Makefile index 60530672..c2a1be12 100644 --- a/Makefile +++ b/Makefile @@ -9,6 +9,9 @@ build: test: @dune runtest --no-buffer --force $(OPTS) +test-autopromote: + @dune runtest --no-buffer --force $(OPTS) --auto-promote + clean: @dune clean diff --git a/tests/echo1.expect b/tests/echo1.expect index 7a51e034..e0fa89b2 100644 --- a/tests/echo1.expect +++ b/tests/echo1.expect @@ -50,7 +50,7 @@ test_out.txt hello world -ykjNycnnKs8vyknhAgAAAP//AwA= +ykjNycnnKs8vyknhAgAAAP//