From: kanschat Date: Mon, 3 Sep 2012 14:26:58 +0000 (+0000) Subject: replace URL by branch X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4315f4346f2d8777d07dcb5126d23a3d5e9f7cfe;p=dealii-svn.git replace URL by branch git-svn-id: https://svn.dealii.org/trunk@26217 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/common/Make.global_options.in b/deal.II/common/Make.global_options.in index b9f96c6ef2..159d16c66d 100644 --- a/deal.II/common/Make.global_options.in +++ b/deal.II/common/Make.global_options.in @@ -384,8 +384,7 @@ endif ifeq ($(BUILDTEST),yes) print-summary: - @echo "dealii-feature: revision=`svn info .. | grep Revision | sed 's/Revision: //'`" - @echo "dealii-feature: URL=`svn info .. | grep URL | sed 's/URL: //'`" + @svn info .. | perl -ne 'print "dealii-feature: revision=$$_\n" if s/Revision: //; print "dealii-feature: branch=$$1\n" if m/svn\/dealii\/(.+)\/deal.II/;' @echo "dealii-feature: user=$(USER)" @echo "dealii-feature: host=`hostname`" @echo "dealii-feature: target=$(TARGET)"