--- old/src/java.desktop/share/native/libsplashscreen/splashscreen_gif.c 2015-05-29 18:56:51.654728870 +0100 +++ new/src/java.desktop/share/native/libsplashscreen/splashscreen_gif.c 2015-05-29 18:56:51.358734326 +0100 @@ -296,7 +296,12 @@ free(pBitmapBits); free(pOldBitmapBits); - DGifCloseFile(gif, NULL); +#if GIFLIB_MAJOR > 5 || (GIFLIB_MAJOR == 5 && GIFLIB_MINOR >= 1) + if (DGifCloseFile(gif, NULL) == GIF_ERROR) + return 0; +#else + DGifCloseFile(gif); +#endif return 1; } @@ -304,7 +309,11 @@ int SplashDecodeGifStream(Splash * splash, SplashStream * stream) { +#if GIFLIB_MAJOR >= 5 GifFileType *gif = DGifOpen((void *) stream, SplashStreamGifInputFunc, NULL); +#else + GifFileType *gif = DGifOpen((void *) stream, SplashStreamGifInputFunc); +#endif if (!gif) return 0;