Browse Source

don't leave broken $(PKG_FILE) on a error

so that next time this tries to fetch it again.
YAMAMOTO Takashi 11 years ago
parent
commit
3d96b30311
1 changed files with 1 additions and 1 deletions
  1. 1 1
      erlang.mk

+ 1 - 1
erlang.mk

@@ -24,7 +24,7 @@ export PKG_FILE
 PKG_FILE_URL ?= https://raw.github.com/extend/erlang.mk/master/packages.v1.tsv
 
 define get_pkg_file
-	wget -O $(PKG_FILE) $(PKG_FILE_URL)
+	wget -O $(PKG_FILE) $(PKG_FILE_URL) || rm $(PKG_FILE)
 endef
 
 # Verbosity and tweaks.