By default hard reset the RTEMS repo on a build.

This commit is contained in:
Chris Johns 2013-05-08 09:56:16 +10:00
parent c8c60e526f
commit 0e358bf7b7

View File

@ -19,7 +19,7 @@
# Pull the latest changes from git each build. Override if this is not what you # Pull the latest changes from git each build. Override if this is not what you
# want. # 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 # The code in git needs to be bootstrapped. Do each build because we have