Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Delete useless option given to pwd.
authoragiersch <agiersch@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Thu, 27 Jan 2011 10:51:45 +0000 (10:51 +0000)
committeragiersch <agiersch@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Thu, 27 Jan 2011 10:51:45 +0000 (10:51 +0000)
commitacb05b5ab42f77c6bc5e8324f4dd691d960e0812
treed6e5854a94bcc54ad991f5b067fc338b7ea27f07
parenta2469b1c6f74e75451f8661195157d36e7235cce
Delete useless option given to pwd.

If `-L' and `-P' are both given to pwd, the last one takes precedence.

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