diff options
Diffstat (limited to 'custom')
-rw-r--r-- | custom/run-opossum_bragi.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/custom/run-opossum_bragi.nix b/custom/run-opossum_bragi.nix index 1c32b4c1..e0535e69 100644 --- a/custom/run-opossum_bragi.nix +++ b/custom/run-opossum_bragi.nix | |||
@@ -43,7 +43,7 @@ stdenv.mkDerivation rec { | |||
43 | fi | 43 | fi |
44 | 44 | ||
45 | echo "Ended $(date)" >> $LOGFILE | 45 | echo "Ended $(date)" >> $LOGFILE |
46 | ''; | 46 | ''; |
47 | phases = [ "buildPhase" | 47 | phases = [ "buildPhase" |
48 | "installPhase" | 48 | "installPhase" |
49 | ]; | 49 | ]; |