]> https://gitweb.dealii.org/ - dealii.git/commitdiff
remove redundancy
authorGuido Kanschat <dr.guido.kanschat@gmail.com>
Tue, 5 Apr 2005 05:13:14 +0000 (05:13 +0000)
committerGuido Kanschat <dr.guido.kanschat@gmail.com>
Tue, 5 Apr 2005 05:13:14 +0000 (05:13 +0000)
git-svn-id: https://svn.dealii.org/trunk@10353 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/Makefile

index e826e80f430381612f242056e5829627ae019ba9..8ec4565116488377f6841a263c8cd2dea12b3e73 100644 (file)
@@ -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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.