Add --source option to build a source package instead of a binary deb package
authorBenjamin Drung <benjamin.drung@profitbricks.com>
Thu, 8 May 2014 12:53:53 +0000 (14:53 +0200)
committerBenjamin Drung <benjamin.drung@profitbricks.com>
Thu, 8 May 2014 12:53:53 +0000 (14:53 +0200)
commit3e9a25f5082e092184800ceeeedcafb9c1ea32a8
tree59da86ea897f9fd6b59f0f2d8256cfae1edf7271
parentc15f2409a0e8601a99afcb5c8c711125cc75e0e9
Add --source option to build a source package instead of a binary deb package

Closes: #745762
lib/javase.sh
make-jpkg
make-jpkg.1