Changeset 2560

Timestamp:

May 29, 2012 6:55:14 AM (9 years ago)

Author:

stefan

Message:

use fetch instead of wget on FreeBSD (patch contributed by Pedro F. Giffuni)

File:

• ThirdParty/Metis/trunk/get.Metis (modified) (1 diff)

ThirdParty/Metis/trunk/get.Metis

@@ -10 +10 @@
     wgetcmd=ftp
     echo "Using ftp command instead."
+  elif test `uname` = FreeBSD; then
+    wgetcmd=fetch
+    echo "Using fetch command instead."
   else
     exit -1