Finally make build on Windows, at least locally.

This commit is contained in:
David Given 2022-07-15 22:56:11 +02:00
parent 98d37492ec
commit 6778fd05f9

View file

@ -1510,5 +1510,11 @@ STATIC void correct_prefix(void)
fprintf(f, "#define LLstartsymb %sstartsymb\n", s); fprintf(f, "#define LLstartsymb %sstartsymb\n", s);
#endif #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);
} }