diff --git a/arch/arm/src/armv7-a/arm_elf.c b/arch/arm/src/armv7-a/arm_elf.c
index 3a9b86a8ae..887b2ebb85 100644
--- a/arch/arm/src/armv7-a/arm_elf.c
+++ b/arch/arm/src/armv7-a/arm_elf.c
@@ -115,7 +115,7 @@ bool arch_checkarch(FAR const Elf32_Ehdr *ehdr)
   if ((ehdr->e_entry & 3) != 0)
     {
       bdbg("Entry point is not properly aligned: %08x\n", ehdr->e_entry);
-      return -ENOEXEC
+      return -ENOEXEC;
     }
 
   /* TODO:  Check ABI here. */