/* Dummy implementation of __enable_execute_stack.  */

extern void __enable_execute_stack (void *);

/* Attempt to turn on execute permission for the stack.  */

void
__enable_execute_stack (void *addr __attribute__((__unused__)))
{
}