]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
replace commands by variables
authorguido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 6 Jun 2002 11:19:49 +0000 (11:19 +0000)
committerguido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 6 Jun 2002 11:19:49 +0000 (11:19 +0000)
git-svn-id: https://svn.dealii.org/trunk@6011 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/common/scripts/build-test/build-template

index 0c1010121e4d1f0e18d2fb4969fff2ce8450810a..66c59d4f2faa3ca88ae77f989a53637c3b34be00 100644 (file)
@@ -54,6 +54,11 @@ export CXX=CC
 
 export CC=cc
 
+# Additional command names
+
+CVS=cvs
+MAKE=make
+
 # Make sure the right compiler, linker and libraries are found first
 
 #export PATH=/mypath/bin:$PATH
@@ -79,7 +84,7 @@ MAIL='mail'
 
 mkdir $target
 cd $target
-cvs co deal.II
+$CVS co deal.II
 cd deal.II
 
 # Echo system information for later parsing
@@ -94,9 +99,9 @@ echo "BUILDING LIBRARY AT " `date` | tee -a log
 # now build the library. either write "succeeded" or "failed"
 # into the file "result", and append all the output into "log"
 
-(if (nice -19 make all -k 2>&1) ; then 
+(if ($MAKE all -k 2>&1) ; then 
        echo "BUILDING EXAMPLES AT " `date` | tee -a log
-        if (cd examples ; nice -19 make -k 2>&1) ; then
+        if (cd examples ; $MAKE -k 2>&1) ; then
                result=succeeded ;
        else
                result=failed ;

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.