Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/nixpkgs
base: 53780e794487
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: a554e128330d
Choose a head ref
  • 1 commit
  • 1 file changed
  • 1 contributor

Commits on Jun 7, 2020

  1. idris2: fix build on macOS (#89548) 

    The idris2 Makefile tries to use different versions of sed depending on
the OS, but nix always uses the same version. Because the version of
sed that is expected on macOS doesn't exist in the nix environment, the
build fails. Setting the OS to empty string resolves the issue.
    @davlum
    davlum committed Jun 7, 2020
    Copy the full SHA
    a554e12 View commit details
    Browse the repository at this point in the history