Use curl instead of wget

2022-11-22 15:55:35 +01:00
parent 77cf9e05f1
commit 54bf188b0d
1 changed files with 1 additions and 1 deletions
@@ -17,7 +17,7 @@ vendor: composer.lock

 robo.phar:
 	# Get a copy of robo
-	wget http://robo.li/robo.phar
+	curl -L -o robo.phar http://robo.li/robo.phar

 config.php: config.php.default
 	# Use .default if no other config provided