Sun, 17 Sep 2023 12:08:33 +0200
bring back notisplatform
test/make/configure.vm | file | annotate | diff | comparison | revisions |
--- a/test/make/configure.vm Sun Sep 17 12:08:05 2023 +0200 +++ b/test/make/configure.vm Sun Sep 17 12:08:33 2023 +0200 @@ -197,6 +197,16 @@ done return 1 } +notisplatform() +{ + for p in $PLATFORM + do + if [ "$p" = "$1" ]; then + return 1 + fi + done + return 0 +} ]]# ## End of unparsed content ** @@ -252,7 +262,7 @@ while true do #if( $sub.platform ) - if failed isplatform "${sub.platform}"; then + if notisplatform "${sub.platform}"; then break fi #end @@ -315,7 +325,7 @@ while true do #if( $dependency.platform ) - if failed isplatform "${dependency.platform}"; then + if notisplatform "${dependency.platform}"; then break fi #end