diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2023-06-05 12:49:45 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2023-06-05 12:49:45 +0200 |
| commit | bf4a03ac20d868b347be8174fe4edd64f77d6645 (patch) | |
| tree | 2e108e9c13109c839d859e3e07a840203f5e51fc /build/.gitignore | |
| parent | 262f05d648c9fc300ffd980cc848b03670d7469c (diff) | |
Revert "Detect in build.sh if installation directory is inside source"
It is more robust to support installing inside source (the following
commit).
Diffstat (limited to 'build/.gitignore')
0 files changed, 0 insertions, 0 deletions