From 2f71a3da5a7d41b4aa2c7a617902f2aee8f2cbe1 Mon Sep 17 00:00:00 2001 From: Howard Mao Date: Tue, 22 Dec 2015 08:09:24 -0800 Subject: [PATCH] bump up submodule commits to merge commits Github's PR system doesn't work so well with submodules, since it always creates merge commits. We should probably avoid using it in the future. --- groundtest | 2 +- rocket | 2 +- uncore | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/groundtest b/groundtest index bcfebe0e..32c9c5f6 160000 --- a/groundtest +++ b/groundtest @@ -1 +1 @@ -Subproject commit bcfebe0e0ecb91f6af8808ac60b0efcbdf5d44cf +Subproject commit 32c9c5f658759e4bb401ac18a5b9c858df6d349f diff --git a/rocket b/rocket index 709f35ff..f19ab090 160000 --- a/rocket +++ b/rocket @@ -1 +1 @@ -Subproject commit 709f35ff1d0b8482d70427c9a455a5a3863d0f4c +Subproject commit f19ab09004912575372f9680251847e3727d3133 diff --git a/uncore b/uncore index 30058958..e41f2ed1 160000 --- a/uncore +++ b/uncore @@ -1 +1 @@ -Subproject commit 30058958457f718718338b2a2f71b39df848a8c5 +Subproject commit e41f2ed1ad9f12e7f975af37a07b87663ad577a8