From 1b18b7d238bdd54d416331436220e4517c4b35db Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 20 Jun 2005 21:53:43 +0000
Subject: [PATCH] Allow decimal point in percentages.

---
 src/tests/make-grade | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tests/make-grade b/src/tests/make-grade
index f8c1443..e6c4b9c 100755
--- a/src/tests/make-grade
+++ b/src/tests/make-grade
@@ -25,7 +25,7 @@ open (GRADING, '<', $grading_file) || die "$grading_file: open: $!\n";
 while (<GRADING>) {
     s/#.*//;
     next if /^\s*$/;
-    my ($max_pct, $rubric_suffix) = /^\s*(\d+)%\t(.*)/ or die;
+    my ($max_pct, $rubric_suffix) = /^\s*(\d+(?:\.\d+)?)%\t(.*)/ or die;
     my ($dir) = $rubric_suffix =~ /^(.*)\//;
     my ($rubric_file) = "$src_dir/$rubric_suffix";
     open (RUBRIC, '<', $rubric_file) or die "$rubric_file: open: $!\n";
-- 
2.30.2