From: x2000habouzit Date: Sat, 5 May 2007 22:02:07 +0000 (+0000) Subject: fix makefile to make it fail if wget fails. X-Git-Tag: xorg/0.9.15~303 X-Git-Url: http://git.polytechnique.org/?a=commitdiff_plain;h=e22c2761d5be9abc55283092cd0f92e5c53fb93c;p=platal.git fix makefile to make it fail if wget fails. git-svn-id: svn+ssh://murphy/home/svn/platal/trunk@1803 839d8a87-29fc-0310-9880-83ba4fa771e5 --- diff --git a/Makefile b/Makefile index 3859605..768d9ca 100644 --- a/Makefile +++ b/Makefile @@ -108,7 +108,7 @@ htdocs/css/banana.css: jquery: htdocs/javascript/jquery.js htdocs/javascript/jquery.autocomplete.js htdocs/javascript/jquery.js: - wget http://jquery.com/src/jquery-latest.pack.js -O htdocs/javascript/jquery.js -q + wget http://jquery.com/src/jquery-latest.pack.js -O $@ -q || ($(RM) $@; exit 1) ################################################################################