Merge branch 'master' into reorder_tof

2012-09-30 15:05:45 +02:00
parent 756ab674ef a0e7f113f2
commit 6f052cb0ed
1 changed files with 2 additions and 1 deletions
--- a/3
+++ b/3
@@ -53,9 +53,10 @@ sudo apt-get install -y libboost-all-dev libsuperlu3-dev libsuitesparse-dev

 # add this repository for necessary backports (required for Ubuntu Precise)
 sudo add-apt-repository -y ppa:opm/ppa
+sudo apt-get update

 # parts of DUNE needed
-sudo apt-get install -y libdune-common-dev libdune-istl-dev
+sudo apt-get install libdune-common-dev libdune-istl-dev

 # libraries necessary for OPM
 sudo apt-get install -y libxml0-dev