Skip to content

Instantly share code, notes, and snippets.

/<stdin> Secret

Created July 14, 2015 19:04
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save anonymous/4a219d84e8a4091acf58 to your computer and use it in GitHub Desktop.
Save anonymous/4a219d84e8a4091acf58 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
<stdin>
diff --git a/jh_depends b/jh_depends
index 5d2786c..4057e78 100755
--- a/jh_depends
+++ b/jh_depends
@@ -193,6 +193,7 @@ for p in $PACKAGES; do
if [ -n "$WRAPPER" ]; then
DEBDEPS="jarwrapper (>=0.5) $DEBDEPS"
fi
+ DEBDEPS=`echo $DEBDEPS | xargs -n1 | sort -u`
JVMDEPS=
if [ -n "`getarg j jvm`" ] && [ -z "$JVM" ]; then
JVM="`getarg j jvm`"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment