Merge pull request #201472 from ncfavier/remove-dead-make-symlinks

remove dead `make-symlinks` builder
This commit is contained in:
figsoda 2022-11-16 14:39:44 -05:00 committed by GitHub
commit 7c6353c884
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 0 additions and 16 deletions

View file

@ -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

View file

@ -1,7 +0,0 @@
{name ? "", stdenv, dir, files}:
stdenv.mkDerivation {
inherit dir files;
name = if name == "" then dir.name else name;
builder = ./builder.sh;
}