Meta/Dothem: make sure that --scratch build is really from scratch

2026-08-09 09:34:14 +00:00 · 2016-05-26 14:29:05 -07:00
parent e55b374fb4
commit b0fb9c0b1e
1 changed files with 3 additions and 0 deletions
--- a/3
+++ b/3
@@ -174,7 +174,10 @@ do
 		'')
 			;;
 		y)
+			saveMeta=$(readlink Meta)
 			Meta/Make distclean
+			git clean -f -x
+			ln -s "$saveMeta" Meta
 			;;
 		esac &&