diff options
Diffstat (limited to 'extras/generate-xdr-files.sh')
| -rwxr-xr-x | extras/generate-xdr-files.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extras/generate-xdr-files.sh b/extras/generate-xdr-files.sh index fd1733bc8e2..004e0987784 100755 --- a/extras/generate-xdr-files.sh +++ b/extras/generate-xdr-files.sh @@ -41,6 +41,7 @@ append_licence_header () */ #include "xdr-common.h" +#include "compat.h" EOF |