Use global counter file on jenkins and default to local one everywhere else