X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=configure;h=335b730fc8ebe668c33de8df543a01d3a163c3e1;hb=74025874f2010f84fd4f7f2e120e84b56ee9781b;hp=631b067181af9187efe064421391cf166267a08d;hpb=762e18baef5f815cc46019ba3e082bd5ec1980f6;p=xboard.git diff --git a/configure b/configure old mode 100644 new mode 100755 index 631b067..335b730 --- a/configure +++ b/configure @@ -4673,7 +4673,7 @@ fi PRODUCT=xboard #VERSION=4.3 # version is already defined -PATCHLEVEL=15 +PATCHLEVEL=16 if test -z "$CFLAGS" ; then