diff options
| author | Florian Weimer <fweimer@redhat.com> | 2018-07-04 15:27:24 +0200 |
|---|---|---|
| committer | Florian Weimer <fweimer@redhat.com> | 2018-07-04 15:30:45 +0200 |
| commit | f2873d2da0ac9802e0b570e8e0b9e7e04a82bf55 (patch) | |
| tree | 5228718da2051a29c5d92d49d014114568f3cbce /INSTALL | |
| parent | eb04c21373e2a2885f3d52ff192b0499afe3c672 (diff) | |
| download | glibc-f2873d2da0ac9802e0b570e8e0b9e7e04a82bf55.tar.gz glibc-f2873d2da0ac9802e0b570e8e0b9e7e04a82bf55.tar.xz glibc-f2873d2da0ac9802e0b570e8e0b9e7e04a82bf55.zip | |
testrun.sh: Implement --tool=strace, --tool=valgrind
$(file …) appears to be the only convenient way to create files with newlines and make substitution variables. This needs make 4.0 (released in 2013), so update the requirement to match. Reviewed-by: Carlos O'Donell <carlos@redhat.com>
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/INSTALL b/INSTALL index 0a22aa7d01..3c656fb7a6 100644 --- a/INSTALL +++ b/INSTALL @@ -426,13 +426,7 @@ Recommended Tools for Compilation We recommend installing the following GNU tools before attempting to build the GNU C Library: - * GNU 'make' 3.79 or newer - - You need the latest version of GNU 'make'. Modifying the GNU C - Library to work with other 'make' programs would be so difficult - that we recommend you port GNU 'make' instead. *Really.* We - recommend GNU 'make' version 3.79. All earlier versions have - severe bugs or lack features. + * GNU 'make' 4.0 or newer * GCC 4.9 or newer |