diff options
| author | Zach van Rijn <me@zv.io> | 2022-12-17 16:39:07 -0600 |
|---|---|---|
| committer | Zach van Rijn <me@zv.io> | 2022-12-17 16:39:29 -0600 |
| commit | f03bc9d2f646f279566267eec0855741deebe9ba (patch) | |
| tree | 3cd0ba8309e1200f37d87e48b8fd427411b6c1b0 /.gitattributes | |
| parent | f54f637388515fd4946664e5f20a08d123aabc5b (diff) | |
| download | packages-f03bc9d2f646f279566267eec0855741deebe9ba.tar.gz packages-f03bc9d2f646f279566267eec0855741deebe9ba.tar.bz2 packages-f03bc9d2f646f279566267eec0855741deebe9ba.tar.xz packages-f03bc9d2f646f279566267eec0855741deebe9ba.zip | |
user/gambit-c: temporarily disable tests. see #924.
Additionally, the 'max-gcse-memory' parameter was updated
to safely accommodate the ~512M threshold needed by Gambit
on some platforms.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions