version: greatly simplify redo nonsense, now that we use VERSION.

Signed-off-by: David Anderson <danderson@tailscale.com>
2020-11-02 18:08:47 -08:00
parent 20a357b386
commit 65bad9a8bd
13 changed files with 208 additions and 265 deletions
@@ -0,0 +1,3 @@
+./version.sh ../.. >$3
+redo-always
+redo-stamp <$3