sgsnemu: Fix printing of tun device name

Change-Id: I6cd89b7b59a6c1d506cfbe9d3088cb844d133313
Fixes: Coverity CID#178638
This commit is contained in:
Harald Welte 2018-10-21 13:09:21 +02:00
parent c2fe1952fd
commit 8f9e1ed8f8
1 changed files with 1 additions and 1 deletions

View File

@ -293,7 +293,7 @@ static int process_options(int argc, char **argv)
printf("timelimit: %d\n", args_info.timelimit_arg);
printf("createif: %d\n", args_info.createif_flag);
if (args_info.tun_device_arg)
printf("tun-device: %d\n", args_info.tun_device_arg);
printf("tun-device: %s\n", args_info.tun_device_arg);
if (args_info.ipup_arg)
printf("ipup: %s\n", args_info.ipup_arg);
if (args_info.ipdown_arg)