diff options
| author | Mitch Riedstra <mitch@riedstra.us> | 2018-04-19 00:13:39 -0400 |
|---|---|---|
| committer | Mitch Riedstra <mitch@riedstra.us> | 2018-04-19 00:13:39 -0400 |
| commit | db54ef567f4c724299ad1830d574052170247e04 (patch) | |
| tree | 23cb53b4d9eadf99cd014c31e926fe6d1c4cc2c2 /scripts/get_sources.sh | |
| parent | d0bd2d53b1186300abd32822276e992d1359a92a (diff) | |
| parent | 38de9074ff1effefa08bfc71471a97cd0658c10c (diff) | |
| download | min-db54ef567f4c724299ad1830d574052170247e04.tar.gz min-db54ef567f4c724299ad1830d574052170247e04.tar.xz | |
Merged in changes from my desktop
Diffstat (limited to 'scripts/get_sources.sh')
| -rw-r--r-- | scripts/get_sources.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/get_sources.sh b/scripts/get_sources.sh index 226081e..538d03b 100644 --- a/scripts/get_sources.sh +++ b/scripts/get_sources.sh @@ -2,6 +2,8 @@ . ./.vars cd ${dist_dir} wget -i ${base_dir}/sources.lst +# Because otherwise it's saved as 'mirror'... *sigh* +wget -O php-7.2.4.tar.xz http://us3.php.net/get/php-7.2.4.tar.xz/from/this/mirror git clone git://git.suckless.org/sbase git clone git://git.suckless.org/ubase git clone git://git.suckless.org/sinit |