From b0ca56edd008fdaafb77dbea35f001747d8facc6 Mon Sep 17 00:00:00 2001 From: kanschat 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