make: Entering directory '$(@D)'
make: Entering directory '$(@D)'
make: Entering directory '$(@D)'
make: Entering directory '$(@D)'
PASS: isl_test
PASS: codegen_test.sh
PASS: pip_test.sh
PASS: bound_test.sh
PASS: isl_test_int
============================================================================
Testsuite summary for isl 0.18
============================================================================
# TOTAL: 5
# PASS: 5
# SKIP: 0
# XFAIL: 0
# FAIL: 0
# XPASS: 0
# ERROR: 0
============================================================================
make: Leaving directory '$(@D)'
make: Leaving directory '$(@D)'
make: Leaving directory '$(@D)'
make: Entering directory '$(@D)/doc'
make: Leaving directory '$(@D)/doc'
make: Leaving directory '$(@D)'