Add update_gcroots.sh

codedownio · Nov 24, 2023 · 813b832 · 813b832
1 parent f16461b
commit 813b832
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -4,3 +4,4 @@
 tmp/
 nixexprs.tar.bz2
 result
+gcroots
diff --git a/update_gcroots.sh b/update_gcroots.sh
@@ -0,0 +1,8 @@
+#!/usr/bin/env bash
+
+SCRIPTDIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
+cd $SCRIPTDIR
+
+mkdir -p gcroots
+
+nix build .#sample_environments_farm $* -o gcroots/sample_environments_farm
-Original file line number
+Diff line change
@@ Expand Up / @@ -4,3 +4,4 @@ @@
     tmp/
     nixexprs.tar.bz2
     result
+    gcroots