devtoolset-9-make - A GNU tool which simplifies the build process for users
| Website: | http://www.gnu.org/software/make/ |
|---|---|
| License: | GPLv2+ |
| Vendor: | CentOS |
- Description:
A GNU tool for controlling the generation of executables and other non-source files of a program from the program's source files. Make allows users to build and install packages without any significant knowledge about the details of the build process. The details about how the program should be built are provided for make in the program's makefile.
Packages
| devtoolset-9-make-4.2.1-2.el7.x86_64 [485 KiB] |
Changelog
by DJ Delorie (2020-01-10):
- Use a non-blocking read with pselect to avoid hangs. BZ #1785447 |
| devtoolset-9-make-4.2.1-1.el7.x86_64 [484 KiB] |
Changelog
by DJ Delorie (2019-08-05):
- Reset to -1 for devtoolset-9 (#1736673) |