Skip to content
Snippets Groups Projects
Commit c89c91af authored by toole1's avatar toole1
Browse files

cleanup

git-svn-id: https://subversion.cs.illinois.edu/svn/cs225@6938 6fbd10e7-183d-0410-a318-cb416676e4f2
parent 83b80cee
No related branches found
No related tags found
No related merge requests found
......@@ -14,6 +14,7 @@ MONAD_DIR="$( cd -P "$( dirname "$SOURCE" )" && pwd )"
SOURCE_DIR="$MONAD_DIR/source"
CALLING_DIR=`pwd`
svn cleanup "$MONAD_DIR"
svn revert "$MONAD_DIR/.monadid" -q
svn up "$MONAD_DIR" -q --accept theirs-full
make -C "$SOURCE_DIR" -q
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment