devops 0.11: Build new upstream 10.1 with 10.1 build hosts. mit-scheme-pucked-devops-0.11
authorMatt Birkholz <matt@birchwood-abbey.net>
Sat, 5 Jan 2019 05:11:37 +0000 (22:11 -0700)
committerMatt Birkholz <matt@birchwood-abbey.net>
Sat, 5 Jan 2019 05:11:37 +0000 (22:11 -0700)
commit400be46979d932bbf6ff72ef72bbd8460d1179e9
treea71e1eccc7a464d01e3e360bfef1be3847bf11d3
parent086884325acb802a8658c83412ca6447b2458ffd
devops 0.11: Build new upstream 10.1 with 10.1 build hosts.

Drop cross-compiling to svm on the build hosts.  Fix version<?.
src/devops/NEWS
src/devops/build.scm
src/devops/build.texi
src/devops/configure.ac
src/devops/debian/changelog
src/devops/devops.scm
src/devops/make.scm
src/devops/pucked.texi