WITHXSB=off does not disable xsb tests
Issue #699
resolved
No description provided.
Comments (3)
-
-
reporter It still attempts to build xsbtest.cpp.
-
- changed status to resolved
Fixed in 6301867
- Log in to comment
Not disabled as in, they are still present in the ./tests/ directory, but not rebuilt?