git://git.onelab.eu
/
madwifi.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
1c03c8e
)
replace 'curl' with 'wget', which apparently deals with oddball 302 redirects more...
author
Marc Fiuczynski
<mef@cs.princeton.edu>
Mon, 23 Mar 2009 13:20:16 +0000
(13:20 +0000)
committer
Marc Fiuczynski
<mef@cs.princeton.edu>
Mon, 23 Mar 2009 13:20:16 +0000
(13:20 +0000)
Makefile
patch
|
blob
|
history
diff --git
a/Makefile
b/Makefile
index
78fccbd
..
191bd11
100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-1,5
+1,6
@@
# $Id$
# $Id$
-CURL := curl -H Pragma: -O -R -S --fail --show-error
+#WEBFETCH := curl -H Pragma: -O -R -S --fail --show-error
+WEBFETCH := wget
SHA1SUM = sha1sum
# default - overridden by the build
SHA1SUM = sha1sum
# default - overridden by the build
@@
-13,7
+14,7
@@
main.FILE := $(notdir $(main.URL))
SOURCEFILES := $(main.FILE)
$(main.FILE): #FORCE
SOURCEFILES := $(main.FILE)
$(main.FILE): #FORCE
- @if [ ! -e "$@" ] ; then echo "$(
CURL) $(main.URL)" ; $(CURL
) $(main.URL) ; fi
+ @if [ ! -e "$@" ] ; then echo "$(
WEBFETCH) $(main.URL)" ; $(WEBFETCH
) $(main.URL) ; fi
@if [ ! -e "$@" ] ; then echo "Could not download source file: $@ does not exist" ; exit 1 ; fi
@if test "$$(sha1sum $@ | awk '{print $$1}')" != "$(main.SHA1SUM)" ; then \
echo "sha1sum of the downloaded $@ does not match the one from 'sources' file" ; \
@if [ ! -e "$@" ] ; then echo "Could not download source file: $@ does not exist" ; exit 1 ; fi
@if test "$$(sha1sum $@ | awk '{print $$1}')" != "$(main.SHA1SUM)" ; then \
echo "sha1sum of the downloaded $@ does not match the one from 'sources' file" ; \