Update for new location of release revision number.

diff --git a/v7/dist/release-prefix b/v7/dist/release-prefix
index 5f5d5471a8cb4ef64ae8d0a681178e951755d129..95ffa4e5a169d1214278c458a8bd72ae5a21f5fe 100755 (executable)
--- a/v7/dist/release-prefix
+++ b/v7/dist/release-prefix
@@ -1,6 +1,6 @@
 #!/bin/sh
 get_release()
 {
-  fgrep "#define RELEASE" /scheme/v7/src/microcode/version.h | awk '{ print $3 }' | tr -d \"
+  fgrep Release /scheme/v7/src/runtime/version.scm | awk '{ print $3 "." $4 "." $5 }' | tr -d \(\)\'
 }
 echo "scheme-`get_release`"