PLAT-130888: Added counter no-server/json_dump option.

Change-Id: I22fc2477845982beef8934d2fb55b519d2b2960c
This commit is contained in:
Giovanni LB
2023-04-14 20:00:54 -03:00
کامیت شده توسط Giovanni Baraldi
والد f656ef0784
کامیت 317147ca11
3فایلهای تغییر یافته به همراه28 افزوده شده و 18 حذف شده
+1 -1
مشاهده پرونده
@@ -232,7 +232,7 @@ while [ 1 ] ; do
ATT_ARGV="$ATT_ARGV $3 \"$4\""
shift
shift
elif [[ "$3" = "--ports" || "$3" = "--genasm" || "$3" = "--target_cu" || "$3" = "-o" || "$3" == "-k" || "$3" == "--att_kernel" ]]; then
elif [[ "$3" = "--dumpfiles" || "$3" = "--ports" || "$3" = "--genasm" || "$3" == "--att_kernel" ]]; then
ATT_ARGV="$ATT_ARGV $3 $4"
shift
shift