diff options
author | Drew Richardson <drew.richardson@arm.com> | 2013-03-26 12:00:00 -0700 |
---|---|---|
committer | Drew Richardson <drew.richardson@arm.com> | 2014-12-19 15:41:32 -0800 |
commit | 1b5637426bfc10a64571c81e24019032206d651b (patch) | |
tree | 71e362be9385179b545c77205cdab612a133ca86 /driver/Makefile | |
parent | a01058e248133bb7c1ba0238ab380e4fac924e97 (diff) |
gator: Version 5.145.14
Signed-off-by: Drew Richardson <drew.richardson@arm.com>
Diffstat (limited to 'driver/Makefile')
-rw-r--r-- | driver/Makefile | 1 |
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 |