From b0ca56edd008fdaafb77dbea35f001747d8facc6 Mon Sep 17 00:00:00 2001
From: kanschat <kanschat@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Fri, 21 Dec 2012 15:24:03 +0000
Subject: [PATCH] identify branch on new server

git-svn-id: https://svn.dealii.org/trunk@27851 0785d39b-7218-0410-832d-ea1e28bc413d
---
 deal.II/common/Make.global_options.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deal.II/common/Make.global_options.in b/deal.II/common/Make.global_options.in
index 07da7dffe6..b0654bfa3e 100644
--- a/deal.II/common/Make.global_options.in
+++ b/deal.II/common/Make.global_options.in
@@ -385,7 +385,7 @@ endif
 
 ifeq ($(BUILDTEST),yes)
 print-summary:
-	@svn info .. | perl -ne 'print "dealii-feature: revision=$$_\n" if s/Revision: //; print "dealii-feature: branch=$$1\n" if m/svn\/dealii\/(.+)\/deal.II/;'
+	@svn info .. | perl -ne 'print "dealii-feature: revision=$$_\n" if s/Revision: //; print "dealii-feature: branch=$$1\n" if m/svn\.dealii\.org\/(.+)\/deal.II/;'
 	@echo "dealii-feature: user=$(USER)"
 	@echo "dealii-feature: host=`hostname`"
 	@echo "dealii-feature: target=$(TARGET)"
-- 
2.39.5