Merge pull request #304 from kaist-cp/assignment13_script

modify submit.sh
This commit is contained in:
Woojin Lee
2023-10-26 15:51:27 +09:00
committed by GitHub

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