diff options
| author | Que Quotion | 2019-07-10 20:26:18 +0900 |
|---|---|---|
| committer | Que Quotion | 2019-07-10 20:26:18 +0900 |
| commit | 07e32248a7aa0fdfb7b35f4cd9d7315c34e3687a (patch) | |
| tree | ff7d0e2cdc6189f03e269a025b192591a0148093 /destdirs_ext.conf | |
| parent | 5c019019d151316199a0b514124ed826ec32d355 (diff) | |
| download | aur-07e32248a7aa0fdfb7b35f4cd9d7315c34e3687a.tar.gz | |
Set PROFDEST to /mnt/pgo (for clean chroot building)
Diffstat (limited to 'destdirs_ext.conf')
| -rw-r--r-- | destdirs_ext.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/destdirs_ext.conf b/destdirs_ext.conf index f4cb1ab2d4c2..3f7a87ac2e85 100644 --- a/destdirs_ext.conf +++ b/destdirs_ext.conf @@ -1,2 +1,2 @@ #-- Profile cache: specify a fixed directory where profiles will be stored -#PROFDEST=/home/sources +#PROFDEST=/mnt/pgo |