[acl2/acl2] eb5163: Another attempt at fixing multi build

0 views

Skip to first unread message

unread,

Oct 12, 2017, 4:24:23 PM10/12/17

to acl2-...@googlegroups.com

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: eb5163b08f940b1789da9925ffdc0f922e58f1b9
https://github.com/acl2/acl2/commit/eb5163b08f940b1789da9925ffdc0f922e58f1b9
Author: David L. Rager <rag...@gmail.com>
Date: 2017-10-12 (Thu, 12 Oct 2017)

Changed paths:
M books/build/jenkins/build-multi.sh

Log Message:
-----------
Another attempt at fixing multi build

unread,

Oct 12, 2017, 4:27:42 PM10/12/17

to acl2-...@googlegroups.com

Branch: refs/heads/testing

Reply all

Reply to author

Forward

0 new messages