From 871761b40f13951194d9e9b3431cbe80a381ef6b Mon Sep 17 00:00:00 2001 From: jhugues Date: Thu, 11 Oct 2012 13:09:58 +0000 Subject: [PATCH] * Adjust test for non RTEMS platforms git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@5768 129961e7-ef38-4bb5-a8f7-c9a525a55882 --- src/backends/ocarina-backends-po_hi_ada.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/backends/ocarina-backends-po_hi_ada.adb b/src/backends/ocarina-backends-po_hi_ada.adb index f3a97941..a8db8839 100644 --- a/src/backends/ocarina-backends-po_hi_ada.adb +++ b/src/backends/ocarina-backends-po_hi_ada.adb @@ -208,7 +208,7 @@ package body Ocarina.Backends.PO_HI_Ada is end case; if Execution_Platform /= Platform_LEON_RTEMS - or else Execution_Platform /= Platform_LEON_RTEMS_POSIX + and then Execution_Platform /= Platform_LEON_RTEMS_POSIX then Write_Line ("GNATMAKE = " & Target_Prefix.all & "gnatmake"); Write_Line ("GNAT = " & Target_Prefix.all & "gnat"); -- GitLab