Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix configure script
authorpini <pini@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Tue, 29 Mar 2011 11:19:11 +0000 (11:19 +0000)
committerpini <pini@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Tue, 29 Mar 2011 11:19:11 +0000 (11:19 +0000)
Use 'echo -e' to interpret \t and \n
echo -e is bash-specific, use bash instead of sh in shebang.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9870 48e7efb5-ca39-0410-a469-dd3cf9ba447f


No differences found