From: guido Date: Tue, 5 Apr 2005 05:13:14 +0000 (+0000) Subject: remove redundancy X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5bf3d890311f60334ad6a4f1313e907d89d413d8;p=dealii-svn.git remove redundancy git-svn-id: https://svn.dealii.org/trunk@10353 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/Makefile b/deal.II/Makefile index e826e80f43..8ec4565116 100644 --- a/deal.II/Makefile +++ b/deal.II/Makefile @@ -207,9 +207,7 @@ distclean: clean \ build-test: echo AUTOMATED DEAL.II BUILD TEST | tee build-test-log echo BEGIN HEADER `date -u '+%Y-%m-%d %T'` | tee -a build-test-log - echo DEAL_II_VERSION=`cat Version` | tee -a build-test-log echo USER=$(USER) | tee -a build-test-log - echo SYSTEM=`contrib/config/config.guess` | tee -a build-test-log echo HOST=`hostname`.`dnsdomainname` | tee -a build-test-log echo BUILDTESTFLAGS=$(BUILDTESTFLAGS) | tee -a build-test-log echo BUILDTESTNOTE=$(BUILDTESTNOTE) | tee -a build-test-log