From 1e079091754752141146b2ea1ffb5242ff69e1db Mon Sep 17 00:00:00 2001
From: AnHaechan <mike000529@gmail.com>
Date: Tue, 29 Aug 2023 02:43:16 +0000
Subject: [PATCH] submission script for why3 assignment

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

diff --git a/scripts/submit.sh b/scripts/submit.sh
index b7c7b49..4a50fb1 100755
--- a/scripts/submit.sh
+++ b/scripts/submit.sh
@@ -9,6 +9,10 @@ mkdir -p $BASEDIR/target
 for i in {01..13} ; do
   if [ $i -eq 5 ]
   then
+    if [ -f $BASEDIR/target/assignment05.zip ]; then
+      rm $BASEDIR/target/assignment05.zip
+    fi
+    zip -rj $BASEDIR/target/assignment05.zip $BASEDIR/assets/why3/assignment05
     continue
   fi
   if [ -f $BASEDIR/target/assignment$i.zip ]; then