From 591ea7db7371344bb3fa906e06d59b2743952b16 Mon Sep 17 00:00:00 2001
From: Stefan Junker <mail@stefanjunker.de>
Date: Sun, 24 Nov 2019 01:05:41 +0100
Subject: [PATCH] nix/os/devices/nuc-work: continue setup

---
 nix/os/devices/steveej-nuc7pjyh-work/system.nix | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/nix/os/devices/steveej-nuc7pjyh-work/system.nix b/nix/os/devices/steveej-nuc7pjyh-work/system.nix
index 9643d45..fe22876 100644
--- a/nix/os/devices/steveej-nuc7pjyh-work/system.nix
+++ b/nix/os/devices/steveej-nuc7pjyh-work/system.nix
@@ -2,13 +2,11 @@
 
 let
   sgx_linuxpackages = let
-      linux_sgx_pkg = { stdenv, fetchurl, buildLinux, ... } @ args:
-
-        with stdenv.lib;
+      linux_sgx_pkg = { fetchurl, buildLinux, ... } @ args:
 
         buildLinux (args // rec {
           version = "5.4.0-rc3";
-          modDirVersion = "5.4.0-rc3";
+          modDirVersion = version;
 
           src = fetchurl {
             url = "https://github.com/jsakkine-intel/linux-sgx/archive/v23.tar.gz";