]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Set bash in common make options
authorkanschat <kanschat@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 11 Oct 2010 16:59:19 +0000 (16:59 +0000)
committerkanschat <kanschat@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 11 Oct 2010 16:59:19 +0000 (16:59 +0000)
git-svn-id: https://svn.dealii.org/trunk@22299 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/common/Make.global_options.in

index 2607596ac388af85d6185e20fa2ec0f77215fea4..5f2bc63966d82e544d2ebe5b31ee7c427dcb5ccd 100644 (file)
 ###############################################################################
 
 
+######################################################################
+# Since most of our makefiles at some ponit use bash features, choose
+# bash as default shell here once and for all
+SHELL=/bin/bash
+
 
 ######################################################
 # the following lines will be replaced by the output

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.