diff options
author | Ludovic Courtès <ludo@gnu.org> | 2017-02-07 14:53:24 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-02-07 14:53:24 +0100 |
commit | d480ed7edb7ad787829fd8220c86220ca34ce8ac (patch) | |
tree | 337de03963937bab33d75176a622cb7b21c1a57d /gnu/packages | |
parent | 328f7cbe435d79d61f57129d9e3ee90404d6bfda (diff) | |
download | patches-d480ed7edb7ad787829fd8220c86220ca34ce8ac.tar patches-d480ed7edb7ad787829fd8220c86220ca34ce8ac.tar.gz |
build: Warn about lack of substitutes for non-standard stores.
* configure.ac: Emit a warning when $storedir is not "/gnu/store".
Diffstat (limited to 'gnu/packages')
0 files changed, 0 insertions, 0 deletions