diff --git a/tools/build.sh b/tools/build.sh index 727211b06ae8f10cefb8dfd5197a41f05fe41d84..9ba1d2cbe69e23632fdf49ec8d06c8b9fb19956d 100755 --- a/tools/build.sh +++ b/tools/build.sh @@ -36,7 +36,7 @@ ENABLE2="yes" ENABLE3="yes" ENABLE4="yes" -version=19c +version=19d SRCDIR=src TOOLDIR=$SRCDIR/tools TIMER="time"