js/mobile: fix eslint and enable linting on build

[pmg-gui.git] / js / mobile / Makefile

diff --git a/js/mobile/Makefile b/js/mobile/Makefile
index 862dffefee5ae3b95949650fbe3b2cb9598d400d..eb394081a7bf266cd879362e24b279263daddb8a 100644 (file)
--- a/js/mobile/Makefile
+++ b/js/mobile/Makefile
@@ -1,6 +1,7 @@
 
 # caution: order is important
 MOBILESRC=                             \
+         prelude.js                    \
          component.js                  \
          loginscreen.js                \
          mailview.js                   \
@@ -8,6 +9,9 @@ MOBILESRC=                              \
          utils.js                      \
          app.js                        \
 
+lint: pmgmanagerlib-mobile.js
+       eslint $^
+
 pmgmanagerlib-mobile.js: ${MOBILESRC}
        cat $^ >$@.tmp
        mv $@.tmp $@