aboutsummaryrefslogtreecommitdiff
path: root/driver/Makefile
diff options
context:
space:
mode:
authorDrew Richardson <drew.richardson@arm.com>2013-03-26 12:00:00 -0700
committerDrew Richardson <drew.richardson@arm.com>2014-12-19 15:41:32 -0800
commit1b5637426bfc10a64571c81e24019032206d651b (patch)
tree71e362be9385179b545c77205cdab612a133ca86 /driver/Makefile
parenta01058e248133bb7c1ba0238ab380e4fac924e97 (diff)
downloadgator-1b5637426bfc10a64571c81e24019032206d651b.tar.gz
gator: Version 5.145.14
Signed-off-by: Drew Richardson <drew.richardson@arm.com>
Diffstat (limited to 'driver/Makefile')
-rw-r--r--driver/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/driver/Makefile b/driver/Makefile
index d22d29d..3af8b8d 100644
--- a/driver/Makefile
+++ b/driver/Makefile
@@ -58,5 +58,6 @@ all:
clean:
rm -f *.o .*.cmd gator_events.h modules.order Module.symvers gator.ko gator.mod.c
+ rm -rf .tmp_versions
endif