From 0e358bf7b736f01e11f5b16566670a95e4308c3a Mon Sep 17 00:00:00 2001 From: Chris Johns Date: Wed, 8 May 2013 09:56:16 +1000 Subject: [PATCH] By default hard reset the RTEMS repo on a build. --- rtems/config/tools/rtems-kernel-4.11.cfg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rtems/config/tools/rtems-kernel-4.11.cfg b/rtems/config/tools/rtems-kernel-4.11.cfg index ffd03d6..0eb6272 100644 --- a/rtems/config/tools/rtems-kernel-4.11.cfg +++ b/rtems/config/tools/rtems-kernel-4.11.cfg @@ -19,7 +19,7 @@ # Pull the latest changes from git each build. Override if this is not what you # want. # -Source0: git://git.rtems.org/rtems.git?pull +Source0: git://git.rtems.org/rtems.git?reset=hard?pull # # The code in git needs to be bootstrapped. Do each build because we have