diff options
author | Que Quotion | 2016-03-23 14:15:45 +0900 |
---|---|---|
committer | Que Quotion | 2016-03-23 14:15:45 +0900 |
commit | 550bf4c208511f2a5d6da068854e31d95f1bb222 (patch) | |
tree | f72cf33dd32cd20b15d085291c47ea0467710962 /destdirs_ext.conf | |
parent | 1ed9a24ddde518b9171393faff880c5f30a1f8bc (diff) | |
download | aur-550bf4c208511f2a5d6da068854e31d95f1bb222.tar.gz |
A hint of things to come: makepkg-optimize2 is ready and waiting
Diffstat (limited to 'destdirs_ext.conf')
-rw-r--r-- | destdirs_ext.conf | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/destdirs_ext.conf b/destdirs_ext.conf new file mode 100644 index 000000000000..f4cb1ab2d4c2 --- /dev/null +++ b/destdirs_ext.conf @@ -0,0 +1,2 @@ +#-- Profile cache: specify a fixed directory where profiles will be stored +#PROFDEST=/home/sources |