diff options
-rw-r--r-- | make.c | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -7,6 +7,10 @@ static void make_header(FILE *makefile, const char *target) { fprintf(makefile, ".POSIX:\n"); + fprintf(makefile, "# This Makefile was generated by maje\n"); + fprintf(makefile, "# See https://gitlab.com/jkaivo/maje/ for more information\n"); + fprintf(makefile, "# Do not edit this Makefile by hand\n"); + fprintf(makefile, "default: all\n"); fprintf(makefile, "CC=c99\n"); |