set crate name to include the patch name

expand the regex to permit things like `foo@010-bar`

Author: nikomatsakis

process.sh

@@ -38,7 +38,7 @@ for dir in $DIRS; do
                 cd $RUST_DIR
                 git show HEAD -s >$TIMES_DIR/raw/$dir$PATCH--$DATE--$i.log
                 cd $START/$dir
-                echo "rustc: ./$dir" >>$TIMES_DIR/raw/$dir$PATCH--$DATE--$i.log
+                echo "rustc: ./$dir$PATCH" >>$TIMES_DIR/raw/$dir$PATCH--$DATE--$i.log
                 make all$PATCH >>$TIMES_DIR/raw/$dir$PATCH--$DATE--$i.log
                 echo "done" >>$TIMES_DIR/raw/$dir$PATCH--$DATE--$i.log
             done
@@ -49,7 +49,7 @@ for dir in $DIRS; do
 
         cd $TIMES_DIR
         for PATCH in "${PATCHES[@]}"; do
-            python $SCRIPTS_DIR/process.py "$dir$PATCH" "$DATE" 6
+            python $SCRIPTS_DIR/process.py "$dir" "$PATCH" "$DATE" 6
         done
 
         for PATCH in "${PATCHES[@]}"; do

scripts/process.py

@@ -8,7 +8,7 @@
 
 re_commit = re.compile("commit (.*)")
 re_date = re.compile("Date:   (.*)")
-re_rustc = re.compile("rustc: .*/([\w\-_\.]*)")
+re_rustc = re.compile("rustc: .*/([^/\s]*)")
 re_time_and_mem = re.compile("( *)time: ([0-9\.]*); rss: ([0-9]*)MB\s*(.*)")
 re_time = re.compile("( *)time: ([0-9\.]*)\s*(.*)")
 re_incremental_reuse = re.compile(" *incremental: re-using (\d+) out of (\d+) modules")