From: kanschat Date: Fri, 21 Dec 2012 15:24:03 +0000 (+0000) Subject: identify branch on new server X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b0ca56edd008fdaafb77dbea35f001747d8facc6;p=dealii-svn.git 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 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)"