From 6778fd05f9147c776cff2fe781d196bd05b5e27f Mon Sep 17 00:00:00 2001 From: David Given Date: Fri, 15 Jul 2022 22:56:11 +0200 Subject: [PATCH] Finally make build on Windows, at least locally. --- util/LLgen/src/gencode.c | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/util/LLgen/src/gencode.c b/util/LLgen/src/gencode.c index c3c6d36e6..0c24f74f2 100644 --- a/util/LLgen/src/gencode.c +++ b/util/LLgen/src/gencode.c @@ -1510,5 +1510,11 @@ STATIC void correct_prefix(void) fprintf(f, "#define LLstartsymb %sstartsymb\n", s); #endif } - fprintf(f, "#include \"%s\"\n", f_include); + + string leaf = strrchr(f_include, '/'); + if (leaf) + leaf++; + else + leaf = f_include; + fprintf(f, "#include \"%s\"\n", leaf); }