Fix 'make clean' in the source tarball.

I renamed _build/oil/ovm to _build/oil/ovm-opt.* when I allowed building the optimized binary with symbols. Also fix another 0.5 -> 0.5.0.
oilshell · Jul 12, 2018 · 683e6ecdc399921d8bc0ed3771da8120f6d58231 · 683e6ec
1 parent 5900526
commit 683e6ecdc399921d8bc0ed3771da8120f6d58231
Unified Split

Showing with 2 additions and 2 deletions.

+1 −1 build/actions.sh

+1 −1 doc/release-index.md
diff --git a/build/actions.sh b/build/actions.sh
@@ -213,7 +213,7 @@ clean-repo() {
 # - We're not cleaning _build/detect-config.* ?
 clean-source-tarball-build() {
  rm -f -v _bin/oil.* 
-  rm -f -v _build/oil/ovm _build/oil/ovm-dbg
+  rm -f -v _build/oil/ovm-opt.* _build/oil/ovm-dbg
 }

 "$@"
diff --git a/doc/release-index.md b/doc/release-index.md
@@ -1,6 +1,6 @@
 <!-- NOTE: This file is at /release/$VERSION/index.html -->

-Oil Version 0.5
+Oil Version 0.5.0
 -----------------

 ### What's New