From 21bfa15f522be4b254e1e6f37286ed7e88a5b5d4 Mon Sep 17 00:00:00 2001
From: Joseph Henry <josephjah@gmail.com>
Date: Fri, 24 Aug 2018 16:11:37 -0700
Subject: [PATCH] Corrected bad path in JAR build section

---
 packages/dist.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/packages/dist.sh b/packages/dist.sh
index c6fe8aa..4e2fde8 100755
--- a/packages/dist.sh
+++ b/packages/dist.sh
@@ -141,6 +141,7 @@ build_all_products()
 	fi
 	# Linux targets
 	if [[ $OSNAME = *"linux"* ]]; then
+		CURR_BUILD_PRODUCTS_DIR=$LIB_PRODUCTS_DIR/
 		# Ordinary libraries
 		if false; then
 			rm -rf $LIB_PRODUCTS_DIR