diff options
Diffstat (limited to 'pkgs/development/compilers/factor-lang/staging-command-line-0.99-pre.patch')
-rw-r--r-- | pkgs/development/compilers/factor-lang/staging-command-line-0.99-pre.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/pkgs/development/compilers/factor-lang/staging-command-line-0.99-pre.patch b/pkgs/development/compilers/factor-lang/staging-command-line-0.99-pre.patch deleted file mode 100644 index a9631664a35d..000000000000 --- a/pkgs/development/compilers/factor-lang/staging-command-line-0.99-pre.patch +++ /dev/null @@ -1,13 +0,0 @@ -diff --git a/basis/tools/deploy/backend/backend.factor b/basis/tools/deploy/backend/backend.factor -index cfcca0d..87a2b01 100644 ---- a/basis/tools/deploy/backend/backend.factor -+++ b/basis/tools/deploy/backend/backend.factor -@@ -72,7 +72,7 @@ ERROR: can't-deploy-library-file library ; - [ staging-image-name "-output-image=" prepend , ] - [ join-words "-include=" prepend , ] bi - ] [ -- input-image-name "-i=" prepend , -+ input-image-name resource-path "-i=" prepend , - "-resource-path=" "" resource-path append , - "-run=tools.deploy.restage" , - ] bi |