]> https://gitweb.dealii.org/ - dealii.git/commit
Set bash in common make options
authorGuido Kanschat <dr.guido.kanschat@gmail.com>
Mon, 11 Oct 2010 16:59:19 +0000 (16:59 +0000)
committerGuido Kanschat <dr.guido.kanschat@gmail.com>
Mon, 11 Oct 2010 16:59:19 +0000 (16:59 +0000)
commit8cb9957233ab588c1f6c23d80e753ddb49f28710
treedbcebcd857c54f6592d86fceb6a387a94290148c
parent9f8fc7a6ed63d174ae89bfcb718e9bb86d09140f
Set bash in common make options

git-svn-id: https://svn.dealii.org/trunk@22299 0785d39b-7218-0410-832d-ea1e28bc413d
deal.II/common/Make.global_options.in

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.