[rumpkernel/rumpctrl] d1d470: pull in latest buildrump.sh

  • From: GitHub <noreply@xxxxxxxxxx>
  • To: rumpkernel-builds@xxxxxxxxxxxxx
  • Date: Mon, 13 Mar 2017 14:04:54 -0700

  Branch: refs/heads/master
  Home:   https://github.com/rumpkernel/rumpctrl
  Commit: d1d470598a85ffd9a2e34cedc1b854b9add819d0
      
https://github.com/rumpkernel/rumpctrl/commit/d1d470598a85ffd9a2e34cedc1b854b9add819d0
  Author: Antti Kantee <pooka@xxxxxx>
  Date:   2017-03-13 (Mon, 13 Mar 2017)

  Changed paths:
    M buildrump.sh

  Log Message:
  -----------
  pull in latest buildrump.sh

might fix some backend compiler override header issues also
in this repo (cf. rumpkernel/rumprun #14)


Other related posts:

  • » [rumpkernel/rumpctrl] d1d470: pull in latest buildrump.sh - GitHub