From 884a8de50955422f3691496c19bf582c0f8f5e32 Mon Sep 17 00:00:00 2001 From: Nathan Binkert Date: Mon, 21 Feb 2005 18:06:09 -0500 Subject: [PATCH] Set the proper job name for statistics if we're using a JOBNAME and JOBFILE --HG-- extra : convert_revision : 44253a39f40efcbbcda226701b0e97d8ea46cf1e