diff options
Diffstat (limited to 'scripts/check-c++-types.sh')
| -rwxr-xr-x | scripts/check-c++-types.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/check-c++-types.sh b/scripts/check-c++-types.sh index 68af8091b2..1992705e0f 100755 --- a/scripts/check-c++-types.sh +++ b/scripts/check-c++-types.sh @@ -30,8 +30,9 @@ # egrep -v '^_' | # sort -u # -cxx=$1 -data=$2 +data=$1 +shift +cxx="$*" while read t; do echo -n "$t:" $cxx -S -xc++ -o - -D_GNU_SOURCE <(cat <<EOF @@ -87,7 +88,6 @@ size_t socklen_t ssize_t suseconds_t -timer_t time_t u_char uid_t |