diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-09-16 14:46:46 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-09-16 14:57:04 +0100 |
| commit | e8a05d4c9a03d28e6a962b37c967f31ee93a7183 (patch) | |
| tree | 0e107cdb11162ed44bda02ea00b738947f020677 /.file-metadata | |
| parent | 5ab5ad03b5a3b48619987033bf3bedb333bfa9b1 (diff) | |
Configure script won't allow build directory to be under source
Users that are not familiar with the file structure of the project may
specify the current directory (to-level source directory) as their
build-directory. This will cause a crash right after answering the
questions, where `rm' will complain about `tex/build' not being deleted
because it exists as a directory.
To avoid such confusing situtations, the configure script now checks if the
build directory is actually a sub-directory of the source. If it is, it
will complain with a short message and abort. Also, a `CAUTION' statment
has been put in the initial description, right ontop of the question.
This bug was reported Carlos Allende Prieto and David Valls-Gabaud.
Diffstat (limited to '.file-metadata')
| -rw-r--r-- | .file-metadata | bin | 6250 -> 6250 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/.file-metadata b/.file-metadata Binary files differindex b779b19..07d4ceb 100644 --- a/.file-metadata +++ b/.file-metadata |