1 files changed, 3 insertions, 0 deletions
diff --git a/clean.sh b/clean.sh
index 0c7aeb8..f7863db 100755
--- a/clean.sh
+++ b/clean.sh
@@ -4,3 +4,6 @@ set -xeuf -o pipefail
 
 find . -name ioriotng -exec rm -v {} \;
 find . -name \*.o -exec rm -v {} \;
+if [ -f internal/vmlinux.h ]; then
+   rm -v internal/vmlinux.h 
+fi