From 41b699cf1ae06a9bfdd9be369ec63f56a316f8e7 Mon Sep 17 00:00:00 2001
From: WoojinLee <woojin.lee@cp.kaist.ac.kr>
Date: Thu, 26 Oct 2023 06:50:56 +0000
Subject: [PATCH] modify submit.sh

---
 scripts/submit.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/scripts/submit.sh b/scripts/submit.sh
index 4a50fb1..ea13c51 100755
--- a/scripts/submit.sh
+++ b/scripts/submit.sh
@@ -15,6 +15,16 @@ for i in {01..13} ; do
     zip -rj $BASEDIR/target/assignment05.zip $BASEDIR/assets/why3/assignment05
     continue
   fi
+
+  if [ $i -eq 13 ]
+  then
+    if [ -f $BASEDIR/target/assignment13.zip ]; then
+      rm $BASEDIR/target/assignment13.zip
+    fi
+    zip -rj $BASEDIR/target/assignment13.zip $BASEDIR/src/assignments/assignment13 $BASEDIR/src/assignments/assignment09/matmul.rs
+    continue
+  fi
+
   if [ -f $BASEDIR/target/assignment$i.zip ]; then
     rm $BASEDIR/target/assignment$i.zip
   fi