modify submit.sh

This commit is contained in:
WoojinLee
2023-10-26 06:50:56 +00:00
parent 83dd526f50
commit 41b699cf1a

View File

@@ -15,6 +15,16 @@ for i in {01..13} ; do
zip -rj $BASEDIR/target/assignment05.zip $BASEDIR/assets/why3/assignment05 zip -rj $BASEDIR/target/assignment05.zip $BASEDIR/assets/why3/assignment05
continue continue
fi 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 if [ -f $BASEDIR/target/assignment$i.zip ]; then
rm $BASEDIR/target/assignment$i.zip rm $BASEDIR/target/assignment$i.zip
fi fi