Clean/ignore Unikraft build directory (#765)

Signed-off-by: Juan Cruz Viotti <[email protected]>
sourcemeta · Feb 13, 2024 · 3cffbba · 3cffbba
1 parent fa016f8
commit 3cffbba
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.ackrc b/.ackrc
@@ -1,2 +1,3 @@
 --ignore-dir=vendor
 --ignore-dir=build
+--ignore-dir=unikraft/.unikraft
diff --git a/Makefile b/Makefile
@@ -54,7 +54,7 @@ website: .always
 	$(PYTHON) -m http.server 3000 --directory build/www
 
 clean: .always
-	$(CMAKE) -E rm -R -f build
+	$(CMAKE) -E rm -R -f build unikraft/.unikraft
 
 # For NMake, which doesn't support .PHONY
 .always: