wok-6.x diff mingw32-gcc-c/receipt @ rev 25010

updated ode and ode-dev (0.16.1 -> 0.16.2)
author: Hans-G?nter Theisgen
date: Mon May 16 17:33:55 2022 +0100 (2022-05-16)
parents: ed8073aa8cf0
     1.1 --- a/mingw32-gcc-c/receipt	Mon Dec 21 00:07:14 2015 +0100
     1.2 +++ b/mingw32-gcc-c/receipt	Mon May 16 17:33:55 2022 +0100
     1.3 @@ -22,6 +22,14 @@
     1.4  	. $WOK/mingw32-toolchain/stuff/mingw32.conf
     1.5  fi
     1.6  
     1.7 +# What is the latest version available today?
     1.8 +current_version()
     1.9 +{
    1.10 +	wget -O - https://sourceforge.net/projects/mingw/files/MinGW/Base/gcc/ 2>/dev/null | \
    1.11 +	sed '/scope="row/!d;s|.*href="|"https://sourceforge.net|;q' | xargs wget -O - 2>/dev/null | \
    1.12 +	sed '/scope="row/!d;s|.*/gcc-||;s|/.*||;q'
    1.13 +}
    1.14 +
    1.15  # Rules to configure and make the package.
    1.16  compile_rules()
    1.17  {