summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--CREDITS5
-rw-r--r--rules/pre/Rules.make4
2 files changed, 7 insertions, 2 deletions
diff --git a/CREDITS b/CREDITS
index 1a56e2de3..81e4467a8 100644
--- a/CREDITS
+++ b/CREDITS
@@ -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; \
}; \