diff options
-rw-r--r-- | CREDITS | 5 | ||||
-rw-r--r-- | rules/pre/Rules.make | 4 |
2 files changed, 7 insertions, 2 deletions
@@ -67,6 +67,11 @@ E: chgans@free.fr E: chgans@gna.org D: Developer +N: Lev Iserovich +E: lev.iserovich@deshaw.com +D: Developer +S: D.E. Shaw Research + N: Dan Kegel E: dank@kegel.com D: Developer diff --git a/rules/pre/Rules.make b/rules/pre/Rules.make index a22813169..c85058713 100644 --- a/rules/pre/Rules.make +++ b/rules/pre/Rules.make @@ -513,11 +513,11 @@ get = \ THING="$$(echo $$URL | sed s-file://-/-g)"; \ if [ -f "$$THING" ]; then \ echo "local archive, copying"; \ - $(CP) -av $$FILE $$SRC; \ + $(CP) -av $$THING $$SRC; \ [ $$? -eq 0 ] || { \ echo; \ echo "Could not copy packet!"; \ - echo "File: $$FILE"; \ + echo "File: $$THING"; \ echo; \ exit -1; \ }; \ |