diff options
Diffstat (limited to 'extras/generate-xdr-files.sh')
| -rwxr-xr-x | extras/generate-xdr-files.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/extras/generate-xdr-files.sh b/extras/generate-xdr-files.sh index 004e09877..d1c2f1368 100755 --- a/extras/generate-xdr-files.sh +++ b/extras/generate-xdr-files.sh @@ -43,6 +43,12 @@ append_licence_header () #include "xdr-common.h" #include "compat.h" +#if defined(__GNUC__) +#if __GNUC__ >= 4 +#pragma GCC diagnostic ignored "-Wunused-but-set-variable" +#endif +#endif + EOF cat $src_file >> $dst_file; |