build optimization - skip unneeded stages

GeoffWilliams · Mar 7, 2024 · 0ddd60f · 0ddd60f
1 parent 070cb04
commit 0ddd60f
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -1,7 +1,6 @@
 deploy/*
 work/*
 postrun.sh
-SKIP
 SKIP_IMAGES
 .pc
 *-pc

diff --git a/stage3/SKIP b/stage3/SKIP
diff --git a/stage4/SKIP b/stage4/SKIP
diff --git a/stage5/SKIP b/stage5/SKIP