Commit ea80a711 authored by Oxez's avatar Oxez
Browse files

changes

parent 6946b071
Loading
Loading
Loading
Loading
+3 −1
Original line number Diff line number Diff line
@@ -59,4 +59,6 @@ else:
        if sys.argv[2] == "truth":
            os.system("make checkin")

    os.system("make release")
    # doing this instead of make release because make release
    # can give feedback to the user that we would rather avoid
    os.system("rm -rf input output truth print.prt")