wok-current diff mingw32-w32api-headers/receipt @ rev 25155
updated proxytunnel (1.9.0 -> 1.10)
author | Hans-G?nter Theisgen |
---|---|
date | Thu Jun 30 15:35:33 2022 +0100 (2022-06-30) |
parents | bb009a6ef036 |
children |
line diff
1.1 --- a/mingw32-w32api-headers/receipt Sat Nov 30 15:44:51 2013 +0000 1.2 +++ b/mingw32-w32api-headers/receipt Thu Jun 30 15:35:33 2022 +0100 1.3 @@ -19,6 +19,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/w32api/ 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|.*/w32api-||;s|-src.*||;q' 1.13 +} 1.14 + 1.15 # Rules to configure and make the package. 1.16 compile_rules() 1.17 {