We are no longer offering accounts on this server. Consider https://gitlab.freedesktop.org/ as a place to host projects.

Commit e07f2c65 authored by Karl Goetz's avatar Karl Goetz

This script is really an external tool.

As such, I'll move it to the tools directory with the other
update script(s). It also requires the script look in a new location for
its config file - thats what this change provides.
parent 95dc8a51
......@@ -18,7 +18,7 @@
set -ex
. config
. `dirname $0`/../config
# Create our working directories if they don't exist
[ ! -d $MIRRORLOCAL/dists/ ] && mkdir -p $MIRRORLOCAL/dists/
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment