diff --git a/libs/libbuiltin/libgcc/gcov.c b/libs/libbuiltin/libgcc/gcov.c
index 5039fdde6f3..02d41d71325 100644
--- a/libs/libbuiltin/libgcc/gcov.c
+++ b/libs/libbuiltin/libgcc/gcov.c
@@ -464,6 +464,10 @@ void __gcov_execv(void)
 {
 }
 
+void __gcov_execle(void)
+{
+}
+
 pid_t __gcov_fork(void)
 {
   return fork();