diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d8e9dee878e..d9a8e4fffa3 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,7 @@
 2013-03-06  Jakub Jelinek  <jakub@redhat.com>
 
+	* config/arm/t-arm (TM_H, OPTIONS_H_EXTRA): Add arm-cores.def.
+
 	PR tree-optimization/56539
 	* tree-tailcall.c (adjust_return_value_with_ops): Use GSI_SAME_STMT
 	instead of GSI_CONTINUE_LINKING as last argument to
diff --git a/gcc/config/arm/t-arm b/gcc/config/arm/t-arm
index 40b3cd77609..96b88de0f7c 100644
--- a/gcc/config/arm/t-arm
+++ b/gcc/config/arm/t-arm
@@ -18,6 +18,9 @@
 # along with GCC; see the file COPYING3.  If not see
 # <http://www.gnu.org/licenses/>.
 
+TM_H += $(srcdir)/config/arm/arm-cores.def
+OPTIONS_H_EXTRA += $(srcdir)/config/arm/arm-cores.def
+
 # All md files - except for arm.md.
 # This list should be kept in alphabetical order and updated whenever an md
 # file is added or removed.