Closed Jancd closed 4 years ago
Thanks for this patch! A couple thoughts:
(1) Please follow the instructions here, in particular about the contents and format of the commit description: https://github.com/google/packetdrill#how-to-submit-a-patch-for-packetdrill
(2) Can you please document in the commit description the distribution and version number where you encountered this problem, and also document where you have tested the fix? (e.g. encountered on Debian x.y, and tested on Debian x.y and Ubuntu a.b, Fedora c.d, etc).
Thanks!
For the record, I can confirm that this compiles for me on:
DISTRIB_ID=Ubuntu DISTRIB_RELEASE=18.04 DISTRIB_CODENAME=bionic DISTRIB_DESCRIPTION="Ubuntu 18.04.3 LTS"
$ gcc --version gcc (Ubuntu 7.4.0-1ubuntu1~18.04.1) 7.4.0 Copyright (C) 2017 Free Software Foundation, Inc.
Thanks!
Signed-off-by: Sergey Chang sergeychang@gmail.com