[nongnu] elpa/idris-mode e8109f9ac0 04/14: Remove Idris event logging from `make test3`

[ELPA Syncer]

branch: elpa/idris-mode
commit e8109f9ac00256b6b83ef33a44fc96ce01027dce
Author: Marek L <nospam.keram@gmail.com>
Commit: Marek L <nospam.keram@gmail.com>

    Remove Idris event logging from `make test3`
---
 Makefile | 2 --
 1 file changed, 2 deletions(-)

diff --git a/Makefile b/Makefile
index 5b358093a4..e7daf04452 100644
--- a/Makefile
+++ b/Makefile
@@ -55,8 +55,6 @@ test2: getdeps build
 test3: getdeps build
        $(BATCHEMACS) -L . \
                -eval '(setq idris-interpreter-path (executable-find 
"idris2"))' \
-               -eval '(setq idris-repl-history-file "idris2-history.eld")' \
-               -eval '(setq idris-log-events t)' \
                -l ert -l idris-tests3.el -f ert-run-tests-batch-and-exit
 
 clean: