6 Commits

Author	SHA1	Message	Date
Garmelon	530925c69b	chore: fix test suite on macOS (#12780) ... MacOS uses a very old version of bash where `"${FOO[@]}"` fails if `set -u` is enabled and `FOO` is undefined. Newer versions of bash expand this to zero arguments instead. Also, `lint.py` used the shebang `#!/usr/bin/env python` instead of `python3`, which fails on some systems. In CI, all macos tests run on nscloud runners. Presumably, they have installed newer versions of various software, hence this didn't break in CI.	2026-03-03 20:59:08 +00:00
int-y1	ce4ae37c19	chore: fix more typos in comments	2023-10-08 14:37:34 -07:00
Sebastian Ullrich	4bad1bea82	chore(script/gen_*): +x	2017-03-05 08:37:16 -08:00
Leonardo de Moura	2014a4a672	chore(script/gen_tokens_cpp): mark automatically generated global variables as static	2015-05-12 17:15:31 -07:00
Leonardo de Moura	358afcf42c	fix(script/gen_tokens_cpp): automatically generated header	2015-05-12 17:11:27 -07:00
Leonardo de Moura	c60f11ab05	refactor(frontends/lean): add script for automatically generating tokens.h and tokens.cpp	2015-05-12 17:07:08 -07:00