diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2015-03-24 19:30:28 -0700 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2015-03-24 19:30:28 -0700 |
| commit | 438dec1bd1ffbcfe2281ef21ccbede56b3fef272 (patch) | |
| tree | 12f1b4211ca30adea15dc5cadd0e9eb3c676ddd9 /mpi-patches/fix-ctype-warnings | |
| parent | 622f87134be4d14aefac13f3c3013d08ebe7c5d0 (diff) | |
| download | txr-438dec1bd1ffbcfe2281ef21ccbede56b3fef272.tar.gz txr-438dec1bd1ffbcfe2281ef21ccbede56b3fef272.tar.bz2 txr-438dec1bd1ffbcfe2281ef21ccbede56b3fef272.zip | |
* Makefile (enforce): Update error error message.
* configure (have_git): Don't set this variable if
the TXR repository is missing, even if git is installed.
I.e. have_git means have have the tool and the repo.
Diffstat (limited to 'mpi-patches/fix-ctype-warnings')
0 files changed, 0 insertions, 0 deletions