Fix typo

orchestrator/taste-orchestrator.py

@@ -1180,7 +1180,7 @@ def InvokeOcarinaMakefiles(
                 os.putenv("RTEMS_MAKEFILE_PATH", os.environ["RTEMS_MAKEFILE_PATH_GUMSTIX"])
             if all(x not in platformType for x in ["LEON", "RTEMS", "WIN32", "GNAT_RUNTIME"]):
                 extra += "-lrt "
-            if not platformType.startswith("GNAT_RUNTIME"):
+            if "GNAT_RUNTIME" not in platformType:
                 # some symbols from libgnat seem to conflict with libm
                 userLDFlags += " -lm "
             if bCoverage: