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:
db22221
)
src/Makefile: add clean target
author
Thomas Lamprecht
<t.lamprecht@proxmox.com>
Thu, 23 May 2019 12:10:50 +0000
(14:10 +0200)
committer
Thomas Lamprecht
<t.lamprecht@proxmox.com>
Thu, 23 May 2019 12:11:29 +0000
(14:11 +0200)
Signed-off-by: Thomas Lamprecht <t.lamprecht@proxmox.com>
src/Makefile
patch
|
blob
|
blame
|
history
diff --git
a/src/Makefile
b/src/Makefile
index dad409aa898e2d614c71ec1c77d04fdb7cbf34e9..312decaa146f9c4ced7ee993da7d33f3eb23061d 100644
(file)
--- a/
src/Makefile
+++ b/
src/Makefile
@@
-5,8
+5,12
@@
rhinoed_jslint.js: jslint.js rhino.js
cat jslint.js rhino.js >$@.tmp
mv $@.tmp $@
+.PHONY: install clean
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
+
+clean:
+ rm -f rhinoed_jslint.js