aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorGravatar Jason Gross <jgross@mit.edu>2016-11-17 14:46:28 -0500
committerGravatar Jason Gross <jgross@mit.edu>2016-11-17 14:46:28 -0500
commitd47132b42a87349642d6a6832eb8aadcc892e903 (patch)
treebfcc0d7eee085d671229d4152f71614c6785d951 /Makefile
parenta96fb928240dd0b72b01611ec46a80c45badacee (diff)
Don't build 8.5pl{1,2} on travis
This will cancel out the timing increase of adding v8.5, v8.6. I've never seen 8.5 and 8.5pl3 succeed, while either 8.5pl1, or 8.5pl2 failed
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions