1
1
mirror of https://github.com/rui314/mold.git synced 2024-11-11 16:58:12 +03:00

Allow extra token

This commit is contained in:
Rui Ueyama 2021-03-24 13:45:21 +09:00
parent fb8c2ea049
commit f1fc305311

View File

@ -241,6 +241,8 @@ void parse_version_script(std::string path) {
}
tok = skip(tok, "}");
if (!tok.empty() && tok[0] != ";")
tok = tok.subspan(1);
tok = skip(tok, ";");
}