Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Return tests in alphabetical order (commit: 2317acc) (details)
  2. Assume --no-print-directory option (commit: a9fc1cd) (details)
Commit 2317acc0c0e2886c5341b2204afb1685b8710401 by david.allsopp
Return tests in alphabetical order
 (commit: 2317acc)
The file was modifiedocamltest/main.ml (diff)
Commit a9fc1cd84fa23bab387b285f3b7e542c64dc3f76 by david.allsopp
Assume --no-print-directory option

At the time the test was added, GNU make was not a requirement. It is
now, an --no-print-directory was added in 1993...
 (commit: a9fc1cd)
The file was modifiedtestsuite/Makefile (diff)