provide a Makefile target to clean the Lua submodule

diff --git a/sys/unix/Makefile.top b/sys/unix/Makefile.top
index 53649f62a7dc090257bad0764ba952bb58979948..d2d00b6fbd60ee67cf75034ac3e3194907e5c763 100644 (file)
--- a/sys/unix/Makefile.top
+++ b/sys/unix/Makefile.top
@@ -371,3 +371,7 @@ spotless-keep-lib: clean-keep-lib
        ( cd util ; $(MAKE) spotless )
        ( cd dat ; $(MAKE) spotless )
        ( cd doc ; $(MAKE) spotless )
+spotless-clean-submodule:
+       @( if test -f submodules/lua/lua.h ; then \
+           git submodule deinit submodules/lua ; fi )
+