identify branch on new server

git-svn-id: https://svn.dealii.org/trunk@27851 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/common/Make.global_options.in b/deal.II/common/Make.global_options.in
index 07da7dffe64340490cf673dc257a7a08177c1fd8..b0654bfa3e2a64b981ce2ede2cee2f4fba42c3ce 100644 (file)
--- 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)"