Commit 17e7b8c8 authored by Thanassis Tsiodras's avatar Thanassis Tsiodras
Browse files

Check the PATHs in the end.

parent 610876ca
......@@ -23,4 +23,4 @@ diff -u ${TMP}/oldPaths ${TMP}/newPaths || {
echo "${INFO} (if you are using the TASTE VM, this has already been done)."
rm -f ${TMP}/oldPaths ${TMP}/newPaths || {
rm -f ${TMP}/oldPaths ${TMP}/newPaths
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment