Tree - rpms/devtoolset-7-make - CentOS Git server

History

	make-4.2-getcwd.patch
	make-4.2-j8k.patch
	make-4.2-newlines.patch
	make-4.2-noclock_gettime.patch
	make-4.2-trace.patch
	make-4.2-warn_undefined_function.patch
	make-4.2-weird-shell.patch