diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog
index fc7b878d95c..97da7105696 100644
--- a/libgcc/ChangeLog
+++ b/libgcc/ChangeLog
@@ -1,3 +1,8 @@
+2017-08-01  Olivier Hainque  <hainque@adacore.com>
+
+	* config/t-vxworks: Instead of redefining LIB2ADD,
+	augment LIB2ADDEH with vxlib.c and vxlib-tls.c.
+
 2017-07-28  Sebastian Huber  <sebastian.huber@embedded-brains.de>
 
 	* config/rs6000/ibm-ldouble.c: Disable if defined __rtems__.
diff --git a/libgcc/config/t-vxworks b/libgcc/config/t-vxworks
index d67e446b46d..001f9fa108c 100644
--- a/libgcc/config/t-vxworks
+++ b/libgcc/config/t-vxworks
@@ -2,7 +2,7 @@
 LIBGCC2_DEBUG_CFLAGS =
 
 # Extra libgcc2 modules used by gthr-vxworks.h functions
-LIB2ADD = $(srcdir)/config/vxlib.c $(srcdir)/config/vxlib-tls.c
+LIB2ADDEH += $(srcdir)/config/vxlib.c $(srcdir)/config/vxlib-tls.c
 
 # This ensures that the correct target headers are used; some
 # VxWorks system headers have names that collide with GCC's