diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2022-08-09 06:55:27 -0700 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2022-08-09 06:55:27 -0700 |
| commit | a72eb481f1eeee1c92684f02b5a882b4ea0650d6 (patch) | |
| tree | 3298924afecb59368e6244a84d0bc4f76570e1b0 /configure | |
| parent | dd98afd93d69892573b640645838e549c3102d2c (diff) | |
| download | txr-a72eb481f1eeee1c92684f02b5a882b4ea0650d6.tar.gz txr-a72eb481f1eeee1c92684f02b5a882b4ea0650d6.tar.bz2 txr-a72eb481f1eeee1c92684f02b5a882b4ea0650d6.zip | |
build: handle hard link failure in make install.
* Makefile (HARDLINK): Print a diagnostic if the link
command fails and ignore the situation. Hard links are
restricted on Android. On that platform, txr being
available under the names txrlisp and txrvm is likely
of limited utility, so we won't waste space by making
copies of the executable.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions