fix up dist scripts to include the release number

benfry · benfry · commit f49180df0241 · 2008-11-29T20:31:31.000Z
diff --git a/build/linux/dist.sh b/build/linux/dist.sh
@@ -34,6 +34,12 @@ cp ../../app/lib/ecj.jar processing/lib/
 cp ../../app/lib/jna.jar processing/lib/
 cp ../shared/revisions.txt processing/
 
+if [ $1 ]
+then
+  # write the release version number into the output directory
+  echo $1 > processing/lib/version.txt
+fi
+
 echo Extracting examples...
 unzip -q -d processing/ ../shared/examples.zip
 
diff --git a/build/windows/dist.sh b/build/windows/dist.sh
@@ -1,6 +1,5 @@
 #!/bin/sh
 
-#REVISION=`head -c 4 ../../todo.txt`
 REVISION=`head -1 ../../todo.txt | awk '{print $1}'`
 
 if [ $1 ]
@@ -32,6 +31,12 @@ cp -r ../shared/lib processing/
 cp -r ../shared/libraries processing/
 cp -r ../shared/tools processing/
 
+if [ $1 ]
+then
+  # write the release version number into the output directory
+  echo $1 > processing/lib/version.txt
+fi
+
 cp ../../app/lib/antlr.jar processing/lib/
 cp ../../app/lib/ecj.jar processing/lib/
 cp ../../app/lib/jna.jar processing/lib/
