add --priority <PRIORITY> option (Closes: #820857)

[sven/java-package.git] / make-jpkg

diff --git a/make-jpkg b/make-jpkg
index 0533b95d109a6c0b4719ba8230cebc8d641aa892..3db992cfd6494949383b1fe86a13277852ac2a80 100755 (executable)
--- a/make-jpkg
+++ b/make-jpkg
@@ -82,7 +82,8 @@ The following options are recognized:
 
   --full-name NAME     full name used in the maintainer field of the package
   --email EMAIL        email address used in the maintainer field of the package
-  --distribution       Define the distribution to use in the changelog
+  --distribution DIST  Define the distribution to use in the changelog
+  --priority PRIORITY  Override default package priority
   --changes            create a .changes file
   --revision           add debian revision
   --source             build a source package instead of a binary deb package
@@ -135,6 +136,10 @@ while [[ $# -gt 0 && "x$1" == x--* ]]; do
     [ $# -le 1 ] && missing_argument "$1"
     shift
     distribution="$1"
+    elif [[ "x$1" == x--priority ]]; then
+    [ $# -le 1 ] && missing_argument "$1"
+    shift
+    priority_override="$1"
     elif [[ "x$1" == x--revision ]]; then
     [ $# -le 1 ] && missing_argument "$1"
     shift