diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-03-21 16:51:56 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-21 16:51:56 -0700 |
commit | 6a0b4c3c4c77aa1bdd1a44c41d4c3ad9c88d9307 (patch) | |
tree | 8d4f4ebeb7971bbb02f0404e56f9979a3a13f599 /src | |
parent | bdba2bf65eb2f68daa1a5e488c4e50f5dac1b312 (diff) |
Fix 'make regress' (#1683)
Commit b8db52f9bad5b1053810c93f0067de8423349da3 removed the option to do "make regress" (I only tested with "make regressX" and "make check"). This commit reenables "make regress".
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions