diff --git a/.gitignore b/.gitignore index 0544c9666..9be066cad 100644 --- a/.gitignore +++ b/.gitignore @@ -8,4 +8,5 @@ /src/work/** /src/*.iso /src/*.img +/src/*.log diff --git a/src/Makefile b/src/Makefile index e127c7fbe..e843d671b 100644 --- a/src/Makefile +++ b/src/Makefile @@ -7,7 +7,7 @@ .DEFAULT_GOAL := help all: clean - @time sh build_minimal_linux_live.sh + @time sh build_minimal_linux_live.sh 2>&1 | tee minimal_linux_live.log clean: @rm -rf source