Public Git Hosting - official-gcc.git/commit

commit	fd2b8c8bd3839a847cc40adc78561ab73448e4cb
author	Thomas Schwinge <thomas@codesourcery.com>
	Tue, 28 Feb 2017 08:41:55 +0000 (28 09:41 +0100)
committer	Thomas Schwinge <tschwinge@gcc.gnu.org>
	Tue, 28 Feb 2017 08:41:55 +0000 (28 09:41 +0100)
tree	113538cab4464a418caca708a7623867d8e40f30	tree \| snapshot (tar.gz zip)
parent	51e8bfb96746c55470cdb096703452653e983977	commit \| diff

Rename the "openmp" group of optimizations to "omp"

gcc/
* dumpfile.h (OPTGROUP_OPENMP): Rename to OPTGROUP_OMP. Adjust
all users.
* dumpfile.c (optgroup_options): Instead of "openmp", associate
OPTGROUP_OMP with "omp".

From-SVN: r245768

gcc/ChangeLog		diff \| blob \| blame \| history
gcc/doc/optinfo.texi		diff \| blob \| blame \| history
gcc/dumpfile.c		diff \| blob \| blame \| history
gcc/dumpfile.h		diff \| blob \| blame \| history
gcc/omp-expand.c		diff \| blob \| blame \| history
gcc/omp-low.c		diff \| blob \| blame \| history
gcc/omp-offload.c		diff \| blob \| blame \| history

Mirror of the offical gcc git repository hosted at gcc.gnu.org

RSS Atom