diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2026-06-11 02:39:05 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2026-06-11 02:39:05 +0200 |
| commit | e0ae898106361bb44612f1fda493839f7b262108 (patch) | |
| tree | da9feb55942f5751912a62daefab9511df0d8e43 /.gitignore | |
| parent | 2f8d86dfbda42094664a96169a4efd0978c264f9 (diff) | |
Use `-O1` for benchmark buildsoptimize
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/.gitignore b/.gitignore index b0a210bf5..b00557e86 100644 --- a/.gitignore +++ b/.gitignore @@ -82,8 +82,4 @@ result # Profiling profile/ -.stack-work-profile/ -.stack-work-profile-pre-pmcfg/ -.stack-work-pmcfg-test/ -.stack-work-pmcfg-test-pre/ -.stack-work-pmcfg-test-hooks/ +.stack-work-* |