1 files changed, 5 insertions, 0 deletions
diff --git a/bin/ptxdist b/bin/ptxdist
index f9cbdeca8..663c41e4d 100755
--- a/bin/ptxdist
+++ b/bin/ptxdist
@@ -1789,6 +1789,11 @@ EOF
 			fi
 			exit
 			;;
+		getdev)
+			check_premake &&
+			ptxd_make_log getdev
+			exit
+			;;
 		go|images)
 			do_${cmd}
 			exit