Commit 89f80d19 authored by Niels Möller's avatar Niels Möller

Fixed gmp filename.

Rev: misc/xenofarm.sh:1.38
parent 324baff7
......@@ -75,7 +75,7 @@ BASE=`echo lsh-*.tar.gz | sed 's/.tar.gz$//'`
VERS=`echo "$BASE" | sed 's/^lsh-//'`
LIBOOPDIST=`echo liboop-*.tar.gz`
LIBGMPDIST=`echo libgmp-*.tar.gz`
LIBGMPDIST=`echo gmp-*.tar.gz`
timeecho () {
# FIXME: Don't depend on GNU date
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment