diff --git a/secilc/secil2conf.c b/secilc/secil2conf.c index ff564f08..5d8fe870 100644 --- a/secilc/secil2conf.c +++ b/secilc/secil2conf.c @@ -41,7 +41,7 @@ #endif #include -void usage(char *prog) +static __attribute__((__noreturn__)) void usage(const char *prog) { printf("Usage: %s [OPTION]... FILE...\n", prog); printf("\n"); diff --git a/secilc/secilc.c b/secilc/secilc.c index dad1e904..f4ecbeec 100644 --- a/secilc/secilc.c +++ b/secilc/secilc.c @@ -41,7 +41,7 @@ #endif #include -void usage(char *prog) +static __attribute__((__noreturn__)) void usage(const char *prog) { printf("Usage: %s [OPTION]... FILE...\n", prog); printf("\n");