make the parsing of #pes and #ppns more accurate as numbers should follow +p or
authorChao Mei <chaomei2@illinois.edu>
Mon, 23 May 2011 19:35:28 +0000 (14:35 -0500)
committerChao Mei <chaomei2@illinois.edu>
Mon, 23 May 2011 19:35:28 +0000 (14:35 -0500)
ppn

src/arch/mpi/charmrun

index e409c019f48728a9811e5cadd8656958106a0e40..af113e1654eeb7acb9345712a23b2530d333edea 100755 (executable)
@@ -17,11 +17,11 @@ do
                ppn=$2
                shift
                ;;
-       +ppn*)
+       +ppn[0-9]*)
                args=$args" "$1
                ppn=`echo $1 | awk '{print substr($1,5)}'`
                ;;
-       ++ppn*)
+       ++ppn[0-9]*)
                args=$args" "$1
                ppn=`echo $1 | awk '{print substr($1,6)}'`
                ;;
@@ -33,7 +33,7 @@ do
                args=$args" "$1" "$2
                shift
                ;;
-       +p*)
+       +p[0-9]*)
                pes=`echo $1 | awk '{print substr($1,3)}'`
                ;;
         -machinefile)