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, 13 insertions, 0 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 new file mode 100644 index 00000000000..a9631664a35 --- /dev/null +++ b/pkgs/development/compilers/factor-lang/staging-command-line-0.99-pre.patch @@ -0,0 +1,13 @@ +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 |