projects
/
pve-jslint.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
f162606
)
followup: commit src Makefile
author
Thomas Lamprecht
<t.lamprecht@proxmox.com>
Thu, 23 May 2019 12:04:42 +0000
(14:04 +0200)
committer
Thomas Lamprecht
<t.lamprecht@proxmox.com>
Thu, 23 May 2019 12:04:42 +0000
(14:04 +0200)
Signed-off-by: Thomas Lamprecht <t.lamprecht@proxmox.com>
src/Makefile
[new file with mode: 0644]
patch
|
blob
diff --git a/src/Makefile
b/src/Makefile
new file mode 100644
(file)
index 0000000..
dad409a
--- /dev/null
+++ b/
src/Makefile
@@ -0,0
+1,12
@@
+DESTDIR=
+PACKAGE ?= pve-jslint
+
+rhinoed_jslint.js: jslint.js rhino.js
+ cat jslint.js rhino.js >$@.tmp
+ mv $@.tmp $@
+
+install: rhinoed_jslint.js jslint
+ install -d -m 0755 ${DESTDIR}/usr/share/${PACKAGE}
+ install -m 0644 rhinoed_jslint.js ${DESTDIR}/usr/share/${PACKAGE}/rhinoed_jslint.js
+ install -d -m 0755 ${DESTDIR}/usr/bin
+ install -m 0755 jslint ${DESTDIR}/usr/bin