diff options
Diffstat (limited to '.config/nixpkgs/shells/coreboot.nix')
| -rw-r--r-- | .config/nixpkgs/shells/coreboot.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.config/nixpkgs/shells/coreboot.nix b/.config/nixpkgs/shells/coreboot.nix index 411862e..3aeac72 100644 --- a/.config/nixpkgs/shells/coreboot.nix +++ b/.config/nixpkgs/shells/coreboot.nix @@ -69,8 +69,10 @@ in pkgs.mkShell { git clone '${url}' '${project}' || true cd '${project}' || exit 1 rm -rf util/crossgcc - git pull + git fetch --all + git reset --hard origin/master git checkout ${toolchain.version} + rm -rf util/crossgcc ln -sf ${toolchain} util/crossgcc sed -i 's|$(OBJCOPY) --strip-$(STRIP) $< $@|$(OBJCOPY) --strip-debug $< $@|g' payloads/libpayload/Makefile.payload |