remove dead make-symlinks builder

Introduced in 5808ac7148, never used again after b06335a835.
2022-11-16 11:20:50 +01:00
parent c91f68c3d8
commit 4d68c2f0ba
2 changed files with 0 additions and 16 deletions
@@ -1,9 +0,0 @@
-source $stdenv/setup
-
-mkdir $out
-for file in $files
-do
-  subdir=`dirname $file`
-  mkdir -p $out/$subdir
-  ln -s $dir/$file $out/$file
-done
@@ -1,7 +0,0 @@
-{name ? "", stdenv, dir, files}:
-
-stdenv.mkDerivation {
-  inherit dir files;
-  name = if name == "" then dir.name else name;
-  builder = ./builder.sh;
-}