git://git.onelab.eu
/
drupal.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
6808751
)
should hopefully build this time
author
Thierry Parmentelat
<thierry.parmentelat@inria.fr>
Fri, 28 Dec 2018 18:32:32 +0000
(19:32 +0100)
committer
Thierry Parmentelat
<thierry.parmentelat@inria.fr>
Fri, 28 Dec 2018 23:59:48 +0000
(
00:59
+0100)
Makefile
patch
|
blob
|
history
diff --git
a/Makefile
b/Makefile
index
654dd34
..
eca05f1
100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-1,5
+1,5
@@
#
#
-WEBFETCH := curl -H Pragma: -
O -
R -S --fail --show-error
+WEBFETCH := curl -H Pragma: -R -S --fail --show-error
SHA1SUM := sha1sum
version=4.7.11
SHA1SUM := sha1sum
version=4.7.11
@@
-28,7
+28,7
@@
define download_target
$(1): $($(1))
.PHONY: $(1)
$($(1)):
$(1): $($(1))
.PHONY: $(1)
$($(1)):
- @if [ ! -e "$($(1))" ] ; then
echo "$(WEBFETCH) $($(1)-URL1)" ;
$(WEBFETCH) $($(1)-URL1) -o $($(1)); fi
+ @if [ ! -e "$($(1))" ] ; then $(WEBFETCH) $($(1)-URL1) -o $($(1)); fi
@if [ ! -e "$($(1))" ] ; then echo "Could not download source file: $($(1)) does not exist" ; exit 1 ; fi
@if test "$$$$($(SHA1SUM) $($(1)) | awk '{print $$$$1}')" != "$($(1)-SHA1SUM)" ; then \
echo "sha1sum of the downloaded $($(1)) does not match the one from 'Makefile'" ; \
@if [ ! -e "$($(1))" ] ; then echo "Could not download source file: $($(1)) does not exist" ; exit 1 ; fi
@if test "$$$$($(SHA1SUM) $($(1)) | awk '{print $$$$1}')" != "$($(1)-SHA1SUM)" ; then \
echo "sha1sum of the downloaded $($(1)) does not match the one from 'Makefile'" ; \