diff --git a/src/emacs/lean-tags.el b/src/emacs/lean-tags.el
index 3b012018f..245449e5d 100644
--- a/src/emacs/lean-tags.el
+++ b/src/emacs/lean-tags.el
@@ -12,7 +12,7 @@
   (let ((ltags-file-name (lean-get-executable "linja"))
         tags-file-name)
     (message "Generating TAGS...")
-    (call-process ltags-file-name nil nil nil "TAGS")
+    (call-process ltags-file-name nil nil nil (string-join lean-flycheck-checker-options " ") "TAGS")
     (message "TAGS generated."))
   (unless tags-table-list
     (setq tags-file-name (lean-find-file-upward "TAGS"))