diff options
Diffstat (limited to 'pkgs/development/compilers/factor-lang/workdir-0.99-pre.patch')
-rw-r--r-- | pkgs/development/compilers/factor-lang/workdir-0.99-pre.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/pkgs/development/compilers/factor-lang/workdir-0.99-pre.patch b/pkgs/development/compilers/factor-lang/workdir-0.99-pre.patch deleted file mode 100644 index f1e7a5920627..000000000000 --- a/pkgs/development/compilers/factor-lang/workdir-0.99-pre.patch +++ /dev/null @@ -1,13 +0,0 @@ -diff --git a/core/io/pathnames/pathnames.factor b/core/io/pathnames/pathnames.factor -index a172fe4..40858bc 100644 ---- a/core/io/pathnames/pathnames.factor -+++ b/core/io/pathnames/pathnames.factor -@@ -166,6 +166,8 @@ GENERIC: absolute-path ( path -- path' ) - - M: string absolute-path - { -+ { [ "resource:work" ?head ] -+ [ trim-head-separators "/var/lib/factor" prepend-path absolute-path ] } - { [ "resource:" ?head ] [ trim-head-separators resource-path absolute-path ] } - { [ "vocab:" ?head ] [ trim-head-separators vocab-path absolute-path ] } - { [ "~" ?head ] [ trim-head-separators home prepend-path absolute-path ] } |