diff --git a/comptime.bat b/comptime.bat index 9028e28883fa4b3cccb6d986e4e859c2aa82ba8b..0c7ea06d60955ec1cd5015a9b660625dae0b6d2c 100644 --- a/comptime.bat +++ b/comptime.bat @@ -1,3 +1,4 @@ +@echo off set BRA=Unknown set REV=illegal