kmc7468/cs220
1
0 Fork 0
mirror of https://github.com/kmc7468/cs220.git synced 2026-11-04 00:00:33 +09:00
Code Issues Packages Projects Releases Wiki Activity

submission script for why3 assignment

Browse Source
This commit is contained in:
AnHaechan authored and Jeehoon Kang committed 2023-08-29 11:45:24 +09:00
1 parent ae4556d087
commit 1e07909175
1 file changed
+4
Download Patch File Download Diff File Expand all files Collapse all files
scripts/submit.sh
+4
View File
@@ -9,6 +9,10 @@ mkdir -p $BASEDIR/target
for i in {01..13} ; do for i in {01..13} ; do
if [ $i -eq 5 ] if [ $i -eq 5 ]
then 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 continue
fi fi
if [ -f $BASEDIR/target/assignment$i.zip ]; then if [ -f $BASEDIR/target/assignment$i.zip ]; then