1 files changed, 7 insertions, 0 deletions
diff --git a/bin/ptxdist b/bin/ptxdist
index 3b923d84f..7aa7633e8 100755
--- a/bin/ptxdist
+++ b/bin/ptxdist
@@ -1291,6 +1291,13 @@ parse_first()
 		-q|--quiet)
 			PTXDIST_QUIET=1
 			;;
+		--)
+			while [ ${#} -ne 0 ]; do
+				arg="${1}"
+				shift
+				PTXDIST_ARGS_SECOND[${#PTXDIST_ARGS_SECOND[@]}]="${arg}"
+			done
+			;;
 		*)
 			PTXDIST_ARGS_SECOND[${#PTXDIST_ARGS_SECOND[@]}]="${arg}"
 			;;