test/make/configure.vm

branch
configure-evo
changeset 56
d9e8fdfc08f6
parent 54
2b8f40c58944
child 57
df03772f7429
--- 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

mercurial