diff options
Diffstat (limited to 'TOOLS')
| -rwxr-xr-x | TOOLS/old-configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/TOOLS/old-configure b/TOOLS/old-configure index 5f7a75b77d..a4776eddae 100755 --- a/TOOLS/old-configure +++ b/TOOLS/old-configure @@ -976,6 +976,7 @@ cat > $TMPC << EOF #define HAVE_SSE4_INTRINSICS 1 #define HAVE_C11_TLS 1 #define HAVE_EGL_ANGLE 0 +#define HAVE_GPL3 1 #ifdef __OpenBSD__ #define DEFAULT_CDROM_DEVICE "/dev/rcd0c" |